(Ara) misc. small fixes/additions

This commit is contained in:
Inari Listenmaa
2019-01-09 19:39:04 +02:00
parent 5a0818920b
commit 90f1585d7e
2 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -57,7 +57,7 @@ lin
oper
amount_N : N = mkN "مِقْدَار" "مَقَادِير" masc nohum ;
amount_N : N = mkN "مِقْدَار" "مَقَادِير" masc nohum ;
-- hack used in the name constructions
toNP : Bool -> NP -> NP = \b -> if_then_else NP b R.emptyNP ;