Closed odanoburu closed 6 years ago
hum, the build failed because Catalan also uses the Romance functor (are there any other languages that use it? Fre, Spa, Por, Cat, Ita, ...?)
I also thought of defining polymorphic versions of numForms
and genForms
(i.e., numForms : (a:Type) -> a -> a -> Number => a
), so that I could define things like:
genNumForms : Str -> Str -> Str -> Str -> Gender => Number => Str ;
genNumForms ms fs mp fp = polyGenForms (Number => Str) (numForms ms mp) (numForms fs fp) ;
is it ok if I do this and submit a PR?
notes
diff
a mess: you can usegit diff --ignore-space-at-eol
on the terminal for a cleanerdiff