Visual lambda

Environment allows intuitive manipulation of lambda calculus expressions.

Screenshot

Examples

• 'MULT 3 2' evaluation
• '((\gm.m(gg))(\gm.m(gg)))M' building and evaluation
• 'Y I' evaluation

Project home

"Visual lambda calculus" Master thesis (pdf)

id: lambda
tags: python, source, thesis, lambda
date: 18.06.2008