Implement ComplSlash

2017-08-22 12:36:27 +03:00
parent 7bc30b77f4
commit 7f98c3198e
2 changed files with 6 additions and 1 deletions
@@ -2,5 +2,10 @@ concrete VerbTur of Verb = CatTur ** open ResTur in {

  lin
    UseV v = v ;
+    SlashV2a v = v ;
+
+    ComplSlash vps np = {
+      s = \\ vf => vps.c.s ++ np.s ! vps.c.c ++ vps.s ! vf ;
+    } ;

 }