Environment allows intuitive manipulation of lambda calculus expressions.
Examples
"Visual lambda calculus" Master thesis (pdf)
id: lambda
tags: python,
source,
thesis,
lambda
date: 18.06.2008
Program solves Klotski puzzle.
id: hakoiri
tags: python,
source
date: 13.08.2007
Python script for Inkscape
builds a grid of rational numbers.
Poster.pdf (2mb)
id: rationals
tags: python,
source,
svg,
inkscape,
generative
date: 18.06.2008