forked from GitHub/gf-core
*** empty log message ***
This commit is contained in:
@@ -27,6 +27,8 @@ resource ParadigmsFin = open Prelude, SyntaxFin, ResourceFin in {
|
|||||||
-- we define the following identifiers.
|
-- we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type;
|
||||||
|
|
||||||
human : Gender ;
|
human : Gender ;
|
||||||
nonhuman : Gender ;
|
nonhuman : Gender ;
|
||||||
|
|
||||||
@@ -227,6 +229,8 @@ oper
|
|||||||
-- The definitions should not bother the user of the API. So they are
|
-- The definitions should not bother the user of the API. So they are
|
||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
Gender = SyntaxFin.Gender ;
|
||||||
|
|
||||||
singular = Sg ;
|
singular = Sg ;
|
||||||
plural = Pl ;
|
plural = Pl ;
|
||||||
|
|
||||||
|
|||||||
@@ -27,6 +27,8 @@ resource ParadigmsFre =
|
|||||||
-- To abstract over gender names, we define the following identifiers.
|
-- To abstract over gender names, we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type ;
|
||||||
|
|
||||||
masculine : Gender ;
|
masculine : Gender ;
|
||||||
feminine : Gender ;
|
feminine : Gender ;
|
||||||
|
|
||||||
@@ -151,6 +153,8 @@ oper
|
|||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
|
||||||
|
Gender = SyntaxFre.Gender ;
|
||||||
|
|
||||||
masculine = Types.Masc ;
|
masculine = Types.Masc ;
|
||||||
feminine = Types.Fem ;
|
feminine = Types.Fem ;
|
||||||
|
|
||||||
|
|||||||
@@ -29,6 +29,8 @@ resource ParadigmsGer =
|
|||||||
-- To abstract over gender names, we define the following identifiers.
|
-- To abstract over gender names, we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type ;
|
||||||
|
|
||||||
masculine : Gender ;
|
masculine : Gender ;
|
||||||
feminine : Gender ;
|
feminine : Gender ;
|
||||||
neuter : Gender ;
|
neuter : Gender ;
|
||||||
@@ -295,6 +297,7 @@ oper
|
|||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
|
||||||
|
Gender = SyntaxGer.Gender ;
|
||||||
|
|
||||||
masculine = Masc ;
|
masculine = Masc ;
|
||||||
feminine = Fem ;
|
feminine = Fem ;
|
||||||
|
|||||||
@@ -27,6 +27,8 @@ resource ParadigmsIta =
|
|||||||
-- To abstract over gender names, we define the following identifiers.
|
-- To abstract over gender names, we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type ;
|
||||||
|
|
||||||
masculine : Gender ;
|
masculine : Gender ;
|
||||||
feminine : Gender ;
|
feminine : Gender ;
|
||||||
|
|
||||||
@@ -167,6 +169,7 @@ oper
|
|||||||
-- The definitions should not bother the user of the API. So they are
|
-- The definitions should not bother the user of the API. So they are
|
||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
Gender = SyntaxIta.Gender ;
|
||||||
|
|
||||||
masculine = Masc ;
|
masculine = Masc ;
|
||||||
feminine = Fem ;
|
feminine = Fem ;
|
||||||
|
|||||||
@@ -23,6 +23,7 @@ flags coding=utf8 ;
|
|||||||
-- To abstract over gender names, we define the following identifiers.
|
-- To abstract over gender names, we define the following identifiers.
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
Gender : Type ;
|
||||||
masculine : Gender ;
|
masculine : Gender ;
|
||||||
feminine : Gender ;
|
feminine : Gender ;
|
||||||
neuter : Gender ;
|
neuter : Gender ;
|
||||||
@@ -222,7 +223,7 @@ oper
|
|||||||
-- The definitions should not bother the user of the API. So they are
|
-- The definitions should not bother the user of the API. So they are
|
||||||
-- hidden from the document.
|
-- hidden from the document.
|
||||||
--.
|
--.
|
||||||
|
Gender = SyntaxRus.Gender ;
|
||||||
|
|
||||||
masculine = Masc ;
|
masculine = Masc ;
|
||||||
feminine = Fem ;
|
feminine = Fem ;
|
||||||
|
|||||||
Reference in New Issue
Block a user