forked from GitHub/gf-rgl
proper parameters in Chi IDet
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user