diff options
Diffstat (limited to 'examples/Bug8.hs')
| -rw-r--r-- | examples/Bug8.hs | 8 |
1 files changed, 0 insertions, 8 deletions
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 (-->) |