diff options
Diffstat (limited to 'examples/gadt-transfer/Makefile')
| -rw-r--r-- | examples/gadt-transfer/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/gadt-transfer/Makefile b/examples/gadt-transfer/Makefile deleted file mode 100644 index 7399656f6..000000000 --- a/examples/gadt-transfer/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -all: - gf -make -output-format=haskell --haskell=gadt FoodsEng.gf FoodsDut.gf - ghc --make VeryFoods.hs - |