projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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)
+
+)
+