From 762cc901a0d72ebdc770adaaf68c9fd4c3ca4d87 Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Sat, 22 Sep 2012 18:55:47 +0200 Subject: Remove old examples --- examples/Bug8.hs | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 examples/Bug8.hs (limited to 'examples/Bug8.hs') diff --git a/examples/Bug8.hs b/examples/Bug8.hs deleted file mode 100644 index 6481ca3f..00000000 --- a/examples/Bug8.hs +++ /dev/null @@ -1,8 +0,0 @@ -infix --> -infix ---> - -data Typ = Type (String,[Typ]) - | TFree (String, [String]) - -x --> y = Type("fun",[s,t]) -(--->) = flip $ foldr (-->) -- cgit v1.2.3