forked from GitHub/gf-rgl
completing Structural
This commit is contained in:
@@ -16,9 +16,10 @@ abstract Noun = Cat ** {
|
||||
|
||||
NoNum : Num ;
|
||||
NumInt : Int -> Num ;
|
||||
|
||||
NumNumeral : Numeral -> Num ;
|
||||
|
||||
AdNum : AdN -> Num -> Num ;
|
||||
|
||||
OrdNumeral : Numeral -> Ord ;
|
||||
|
||||
NoOrd : Ord ;
|
||||
|
||||
Reference in New Issue
Block a user