1
0
forked from GitHub/gf-rgl

(May) ComplSlash, prepositions and some V2s

This commit is contained in:
Inari Listenmaa
2020-08-18 20:57:15 +02:00
parent 6693a27d6c
commit c98f9a84d8
5 changed files with 25 additions and 17 deletions
+4 -5
View File
@@ -34,9 +34,8 @@ oper
mkV2 : overload {
mkV2 : (root : Str) -> V2 ;
mkV2 : (root : Str) -> Prefix -> V -- Root and prefix
-- TODO prepositions
mkV2 : (root : Str) -> V2 ; -- The prefix is meng and no preposition
mkV2 : V -> Prep -> V2 ; -- V and Prep
} ;
-- mkV3 : overload {
@@ -108,8 +107,8 @@ oper
} ;
mkV2 = overload {
mkV2 : Str -> V2 = \v2 -> lin V2 (mkVerb v2 Meng) ;
mkV2 : Str -> Prefix -> V2 = \v2,p -> lin V2 (mkVerb v2 p)
mkV2 : Str -> V2 = \v2 -> lin V2 ((mkVerb v2 Meng) ** {c2 = emptyPrep}) ;
mkV2 : V -> Prep -> V2 = \v,p -> lin V2 (v ** {c2 = p})
} ;
--
-- mkV3 = overload {