1
0
forked from GitHub/gf-rgl

Merge pull request #356 from bamutra/master

Request to merge
This commit is contained in:
Inari Listenmaa
2020-09-08 09:18:56 +02:00
committed by GitHub
52 changed files with 17742 additions and 625 deletions
+1
View File
@@ -37,6 +37,7 @@ oper
mkV3 = overload {
mkV3 : Str -> Verb3 = \root ->mkV2 root ** {comp2 =[]};
mkV3 : Str -> Str ->Str -> Verb3 = \root ,s1,s2 ->mkV2 root s1 s2 ** {comp2 =[]};
--mkV3 : Str -> Str ->Str ->Str ->Verb3 =\root, s1, s2, prep
};