(Ara) small fixes and additions

This commit is contained in:
Inari Listenmaa
2018-12-19 17:17:52 +01:00
parent 26e3c6dbac
commit 218e3513a0
3 changed files with 3 additions and 14 deletions
-1
View File
@@ -368,7 +368,6 @@ resource ParadigmsAra = open
= mkAN ;
mkN : N -> AP -> N
= mkAPN
} ;
attrN : Number -> N -> N -> N = \num,n1,n2 -> n1 ** {