From 0840d64fae731a7f97d22a92821c1ef3088bc51a Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Thu, 16 Oct 2008 14:37:19 +0000 Subject: [PATCH] Remove TypSamples --- TypSamples.hs | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 TypSamples.hs diff --git a/TypSamples.hs b/TypSamples.hs deleted file mode 100644 index edb6dd7..0000000 --- a/TypSamples.hs +++ /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 - ] -- 2.20.1