mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-26 03:08:55 -06:00
german paradigms
This commit is contained in:
@@ -25,6 +25,7 @@ resource ParadigmsSwe = open (Predef=Predef), Prelude, SyntaxSwe, ResourceSwe in
|
||||
-- To abstract over gender names, we define the following identifiers.
|
||||
|
||||
oper
|
||||
Gender : Type ;
|
||||
utrum : Gender ;
|
||||
neutrum : Gender ;
|
||||
|
||||
@@ -200,6 +201,7 @@ oper
|
||||
-- hidden from the document.
|
||||
--.
|
||||
|
||||
Gender = SyntaxSwe.Gender ;
|
||||
utrum = Utr ;
|
||||
neutrum = Neutr ;
|
||||
masculine = Masc ;
|
||||
|
||||
Reference in New Issue
Block a user