finished livecoding agreement

This commit is contained in:
Arianna Masciolini
2025-04-16 10:48:46 +02:00
parent cb72c1da1b
commit 8b9055b7e7
2 changed files with 19 additions and 8 deletions

View File

@@ -10,6 +10,14 @@ param
NPAgreement = NPAgr Number Definite Gender ;
oper
nform2number : NForm -> Number = \nf -> case nf of {
(NF n _ _) => n
} ;
nform2definite : NForm -> Definite = \nf -> case nf of {
(NF _ d _) => d
} ;
-- Noun = {s : Number => Definite => Case => Str ; g : Gender} ;
Noun = {s : NForm => Str ; g : Gender} ;