projects
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
added temps
[lambda.git]
/
temp
1
let empty = (\f (\z z)) in
2
let ml = (\h (\t (\f (\z ((f h) ((t f) z)))))) in
3
let list = ((ml a) ((ml b) ((ml c) ((ml d) ((ml e) empty))))) in
4
let map = (\f (\l (l (\h (\t ((ml (f h)) t)))))) in
5
6
(
7
8
list
9
10
((map (\x x)) list)
11
12
)
13