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

Hakoiri

Program solves Klotski puzzle.

Solution as html (JS)

Source

id: hakoiri
tags: python, source
date: 13.08.2007

Rationals

Python script for Inkscape
builds a grid of rational numbers.

Poster.pdf (2mb)

Source

id: rationals
tags: python, source, svg, inkscape, generative
date: 18.06.2008