1
0
forked from GitHub/gf-rgl

(Hun) Update SymbOrd after changes in lincat of Ord

This commit is contained in:
Inari Listenmaa
2020-04-17 15:30:09 +02:00
parent 16caf7e041
commit 2cf99611bc

View File

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