Remove TypSamples
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Oct 2008 14:37:19 +0000 (14:37 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Oct 2008 14:37:19 +0000 (14:37 +0000)
TypSamples.hs [deleted file]

diff --git a/TypSamples.hs b/TypSamples.hs
deleted file mode 100644 (file)
index edb6dd7..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-module TypSamples where
-
-samples = 
-    [ "a"                                      -- 1
-    , "[a] -> [a]"
-    , "(a -> b) -> b"
-    , "([a]-> b) -> b"
-    , "[b] -> (a -> b) -> b"                   -- 5
-    , "a -> (a -> b)-> b"
-    , "(((a -> b) -> b) -> b) -> b"
-    , "((( a -> (b -> b)) -> b) -> b) -> b"
-    , "(a -> b) -> ((b -> c) -> c)"
-    , "(a -> [b]) -> b"                         -- 10
-    , "(b -> (a -> b)) -> b"
-    , "(((c -> (a -> [b])) -> b) -> c) -> (((b -> [c]) -> (c -> d) -> [d]))"
-    ]
-exSamples = 
-    [ "(a -> Int) -> (Int -> Int)"              -- Ex 1
-    ]