added temps

[lambda.git] / temp

diff --git a/temp b/temp
new file mode 100644 (file)
index 0000000..46f37af
--- /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)
+
+)
+