I wrote a 140 character lambda calculus interpreter and a bigger and more complete (static name resolution + renaming + repl) version of it.
I wrote a 140 character lambda calculus interpreter and a bigger and more complete (static name resolution + renaming + repl) version of it.