12
ac1235
8y

What I wrote today:
a lambda calculus evaluator in the lambda calculus

Comments
Add Comment