Merge branch 'master' into master

This commit is contained in:
Inari Listenmaa
2022-05-19 10:46:17 +02:00
committed by GitHub
88 changed files with 44553 additions and 536 deletions

View File

@@ -90,6 +90,7 @@ oper
linDet : Determiner -> Str = \det -> det.pr ++ det.s ;
-- add field in determiner for kedua-dua numbers
Determiner : Type = Quant ** {
pr : Str ; -- prefix for numbers
n : NumType ; -- number as in 5 (noun in singular), Sg or Pl