forked from GitHub/gf-rgl
german paradigms
This commit is contained in:
@@ -428,6 +428,8 @@ oper
|
|||||||
in
|
in
|
||||||
mkVerbum legen ((adde leg) + "t") leg legte legte ("ge" + (leg + "t")) ;
|
mkVerbum legen ((adde leg) + "t") leg legte legte ("ge" + (leg + "t")) ;
|
||||||
|
|
||||||
|
regVerb = verbumWeak ;
|
||||||
|
|
||||||
|
|
||||||
-- Weak verbs that don't have ge- in the participle
|
-- Weak verbs that don't have ge- in the participle
|
||||||
verbumGratulieren : Str -> Verbum = \gratulieren ->
|
verbumGratulieren : Str -> Verbum = \gratulieren ->
|
||||||
|
|||||||
@@ -77,7 +77,7 @@ oper
|
|||||||
|
|
||||||
nBuch : (_,_ : Str) -> N ; -- Buch, (Buches, Bücher) (neut)
|
nBuch : (_,_ : Str) -> N ; -- Buch, (Buches, Bücher) (neut)
|
||||||
nMesser : Str -> N ; -- Messer, (Messers, Messer) (neut)
|
nMesser : Str -> N ; -- Messer, (Messers, Messer) (neut)
|
||||||
nBein : Str -> N ; -- Bein, (Beins, Beine) (neut)
|
nBein : Str -> N ; -- Bein, (Beins, Beine) (neut)
|
||||||
nAuto : Str -> N ; -- Auto, (Autos, Autos) (neut)
|
nAuto : Str -> N ; -- Auto, (Autos, Autos) (neut)
|
||||||
|
|
||||||
-- Feminine patterns. Duplicated "e" is avoided in $nFrau$.
|
-- Feminine patterns. Duplicated "e" is avoided in $nFrau$.
|
||||||
|
|||||||
@@ -25,6 +25,7 @@ resource ParadigmsSwe = open (Predef=Predef), Prelude, SyntaxSwe, ResourceSwe in
|
|||||||
-- To abstract over gender names, we define the following identifiers.
|
-- To abstract over gender names, we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type ;
|
||||||
utrum : Gender ;
|
utrum : Gender ;
|
||||||
neutrum : Gender ;
|
neutrum : Gender ;
|
||||||
|
|
||||||
@@ -200,6 +201,7 @@ oper
|
|||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
|
||||||
|
Gender = SyntaxSwe.Gender ;
|
||||||
utrum = Utr ;
|
utrum = Utr ;
|
||||||
neutrum = Neutr ;
|
neutrum = Neutr ;
|
||||||
masculine = Masc ;
|
masculine = Masc ;
|
||||||
|
|||||||
Reference in New Issue
Block a user