some more transfer functions included in Grammar

2011-03-13 17:22:51 +00:00
parent 56a26acb00
commit 6460c03762
5 changed files with 35 additions and 5 deletions
@@ -7,7 +7,7 @@ abstract Verb = Cat ** {
 -- Verb phrases are constructed from verbs by providing their
 -- complements. There is one rule for each verb category.

-  fun
+  data
    UseV     : V   -> VP ;        -- sleep

    ComplVV  : VV  -> VP -> VP ;  -- want to run