1
0
forked from GitHub/gf-rgl

(Basque) overload mkV2

This commit is contained in:
Inari Listenmaa
2018-03-15 14:55:25 +01:00
parent e78e1deef0
commit fb6e994dc7

View File

@@ -93,6 +93,7 @@ oper
lin V2 (egin ** { prc = \\t => lo ++ egin.prc ! t ; lin V2 (egin ** { prc = \\t => lo ++ egin.prc ! t ;
val = Du Ukan }) ; val = Du Ukan }) ;
mkV2 : V -> V2 = \x -> lin V2 x ;
} ; } ;
mkVA : Str -> VA = \s -> lin VA (mkVerbDa s) ; -- Nor mkVA : Str -> VA = \s -> lin VA (mkVerbDa s) ; -- Nor