Lambda Calculus Explorer (via ocramz) — discussion

#compilers #formalmethods