(Spa) Update A,A2 to not have Degree

This commit is contained in:
Inari Listenmaa
2021-09-13 15:15:47 +08:00
parent 862c50e936
commit 57390d366c
4 changed files with 21 additions and 19 deletions
+1 -1
View File
@@ -239,7 +239,7 @@ oper
mkOrdinal : A -> Ord = \adj->
lin Ord {
s = \\ag => adj.s ! Posit ! genNum2Aform ag.g ag.n ;
s = \\ag => adj.s ! genNum2Aform ag.g ag.n ;
} ;
mkQuantifier : (ese,esa,esos,esas : Str) -> Quant = \ese,esa,esos,esas->