mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 08:58:55 -06:00
Merge branch 'master' of github.com:GrammaticalFramework/gf-rgl
This commit is contained in:
@@ -68,6 +68,8 @@ oper
|
||||
mkPN = overload {
|
||||
mkPN : (anna : Str) -> PN
|
||||
= \p -> lin PN (regName p) ;
|
||||
mkPN : (anna : Str) -> Gender -> PN
|
||||
= \p, g -> lin PN (regName p ** {g = g}) ;
|
||||
mkPN : (nm,gm,am,vm,pn,pa : Str) -> Gender -> PN
|
||||
= \ nm,gm,am,vm,pn,pa, g -> lin PN (mkName nm gm am vm pn pa g) ;
|
||||
} ;
|
||||
|
||||
Reference in New Issue
Block a user