diff options
Diffstat (limited to 'examples/gadt-transfer/README')
| -rw-r--r-- | examples/gadt-transfer/README | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/examples/gadt-transfer/README b/examples/gadt-transfer/README deleted file mode 100644 index 10ff7543e..000000000 --- a/examples/gadt-transfer/README +++ /dev/null @@ -1,35 +0,0 @@ -AR 5/3/2011 - -Example on using GADT and composOp in transfer. - -To compile: - - make - -To test: - - echo "this expensive boring wine is warm" | ./VeryFoods - this expensive very boring wine is warm - - echo "deze dure wijn is saai" | ./VeryFoods - deze dure wijn is erg saai - -Functionality: wraps every occurrence of "boring" with "very". - -This is implemented with a function that needs only two cases: one for "Boring" and another -for the rest of trees. On the method, see - - B. Bringert and A. Ranta. - A Pattern for Almost Compositional Functions. - Journal of Functional Programming, 18(5-6), pp. 567-598, 2008. - http://www.cse.chalmers.se/alumni/bringert/publ/composOp-jfp/composOp-jfp.pdf - -Source code: - - VeryFoods.hs -- main Haskell module, hand-written - Makefile - Foods.gf, FoodsEng.gf, FoodsDut.gf -- from GF/contrib/summerschool/foods/ - -Foods.hs and Foods.pgf are generated by 'make'. - - |