X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=temp;fp=temp;h=0000000000000000000000000000000000000000;hb=dfdce519e09f58f49a5b73c5ebcfb5cddd31eda4;hp=46f37af2192f9b3ced848385890ae0663a00c4bb;hpb=09fc19c5582c88be7c4dca5b6b2007c5165191dc;p=lambda.git

diff --git a/temp b/temp
deleted file mode 100644
index 46f37af2..00000000
--- a/temp
+++ /dev/null
@@ -1,13 +0,0 @@
-let empty = (\f (\z z)) in
-let ml = (\h (\t (\f (\z ((f h) ((t f) z)))))) in
-let list = ((ml a) ((ml b) ((ml c) ((ml d) ((ml e) empty))))) in
-let map = (\f (\l (l (\h (\t ((ml (f h)) t)))))) in
-
-(
-
-list
-
-((map (\x x)) list)
-
-)
-