X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=temp;fp=temp;h=46f37af2192f9b3ced848385890ae0663a00c4bb;hp=0000000000000000000000000000000000000000;hb=1f9c532ea9cfdb1e553e30f5f83568e4a73c80b9;hpb=10199d2cee3e31ebd60c208f81baf165af31062d;ds=sidebyside

diff --git a/temp b/temp
new file mode 100644
index 00000000..46f37af2
--- /dev/null
+++ b/temp
@@ -0,0 +1,13 @@
+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)
+
+)
+