1
0
forked from GitHub/gf-rgl

(Hun) Update Symbol after changes in lincats

This commit is contained in:
Inari Listenmaa
2020-04-26 14:15:53 +02:00
parent b723ae1a75
commit ef3dc464cb

View File

@@ -18,7 +18,7 @@ lin
oper oper
mkPN : Str -> NounPhrase = \s -> emptyNP ** { mkPN : Str -> NounPhrase = \s -> emptyNP ** {
s = \\_ => s ; s = \\_,_ => s ;
} ; } ;
lin lin
@@ -42,7 +42,7 @@ lin
SymbNum sy = baseNum ** {s = \\_ => sy.s} ; SymbNum sy = baseNum ** {s = \\_ => sy.s} ;
-- : Symb -> Ord ; -- : Symb -> Ord ;
SymbOrd sy = {s = \\n => sy.s ; n=Pl} ; SymbOrd sy = {s = \\n,c => sy.s ; n=Pl} ;
lincat lincat
Symb, [Symb] = SS ; Symb, [Symb] = SS ;