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
/
beta.lam
blob: 9d53b081c4ebdfa12c4002970701beceaec35b1f (
plain
)
1
2
3
(\ x . (\ z . z z) x three) ((\ y . y y) (\ w . w)) -- Should reduce to three
