(Por) Update A,A2 to not have Degree

This commit is contained in:
Inari Listenmaa
2021-09-13 20:51:35 +08:00
parent 47ea6a6830
commit e421518a36
6 changed files with 33 additions and 27 deletions
+1 -1
View File
@@ -251,7 +251,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 : (esse,essa,esses,essas : Str) -> Quant = \esse,essa,esses,essas->