1
0
forked from GitHub/gf-rgl

more cases to Chi.mkA2

This commit is contained in:
Aarne Ranta
2018-04-25 08:42:20 +02:00
parent 9e95b1df99
commit 2de326e8a3

View File

@@ -35,7 +35,14 @@ oper
= \a,b -> lin A (mkAdj a b) ; = \a,b -> lin A (mkAdj a b) ;
} ; } ;
mkA2 : Str -> A2 = \a -> lin A2 (simpleAdj a ** {c2 = emptyPrep}) ; mkA2 = overload {
mkA2 : Str -> A2
= \a -> lin A2 (simpleAdj a ** {c2 = emptyPrep}) ;
mkA2 : A -> A2
= \a -> lin A2 (a ** {c2 = emptyPrep}) ;
mkA2 : A -> Prep -> A2
= \a,p -> lin A2 (a ** {c2 = p}) ;
} ;
mkV = overload { mkV = overload {
mkV : (walk : Str) -> V mkV : (walk : Str) -> V