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
/
currying.lam
blob: 5463ce745f09ead68172301fec771144b3ccfe41 (
plain
)
1
2
3
(\x y. plus (plus x y) x) one two -- Should reduce to plus (plus one two) one