index
:
coms6998.git
this commit
master
lambda calculus interpreter
tzlil
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
examples
/
beta2.lam
blob: 02ae5769290d5b207d867dfc67dd0d28a09c5cf1 (
plain
)
1
2
3
(\x . (\x . x) x) one -- should reduce to one
