12
ac1235
7y

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

Comments
Add Comment