1
0
forked from GitHub/gf-rgl

(May) minor fixes / add word

This commit is contained in:
Inari Listenmaa
2023-02-24 14:05:08 +08:00
parent a2aca74dd6
commit 7ec7a831f3
2 changed files with 3 additions and 3 deletions

View File

@@ -407,7 +407,7 @@ lin walk_V = mkV "jalan" ;
-- lin warm_A = mkA "" ;
-- lin wash_V2 = mkV2 "" ;
-- lin watch_V2 = mkV2 "" ;
-- lin water_N = mkNoun "" ;
lin water_N = mkN "air" ;
-- lin wet_A = mkA "" ;
-- lin white_A = mkA "" ;
-- lin wide_A = mkA "" ;

View File

@@ -133,9 +133,9 @@ oper
} ;
mkA2 = overload {
mkA2 : (adj : Str) -> A = \s -> lin A2 (mkAdj s) ;
mkA2 : (adj : Str) -> A2 = \s -> lin A2 ((mkAdj s) ** {c2 = emptyPrep}) ;
mkA2 : A -> A2 = \a -> lin A2 (a ** {c2 = emptyPrep}) ;
mkA2 : A -> Prep -> A = \a,p -> lin A2 (a) ;
mkA2 : A -> Prep -> A2 = \a,p -> lin A2 (a ** {c2 = p}) ;
} ;
mkV = overload {