proper parameters in Chi IDet

This commit is contained in:
aarne
2013-10-08 19:14:56 +00:00
parent adc952a61d
commit 3ef9eea5eb
7 changed files with 22 additions and 6 deletions

View File

@@ -181,7 +181,7 @@ oper
mkPredet : Str -> Predet
= \s -> lin Predet {s = word s} ;
mkIDet : Str -> IDet
= \s -> lin IDet {s = word s} ;
= \s -> lin IDet {s = word s ; detType = DTNum} ; ----
mkPConj : Str -> PConj
= \s -> lin PConj {s = word s} ;
mkRP : Str -> RP