forked from GitHub/comp-syntax-gu-mlt
gendered person names possible, see README
This commit is contained in:
@@ -12,6 +12,8 @@ fun
|
||||
AwardSentence : Name -> Award -> Date -> Sentence ;
|
||||
DiedSentence : Name -> Date -> Sentence ;
|
||||
|
||||
FemaleName : String -> Name ; -- use if your language needs gender agreement
|
||||
MaleName : String -> Name ; -- use if your language needs gender agreement
|
||||
StringName : String -> Name ;
|
||||
YearDate : Int -> Date ;
|
||||
he_Name, she_Name, they_Name : Name ;
|
||||
|
||||
Reference in New Issue
Block a user