sylvia

The Simple Yuser-friendly Lambda Visualization Interaction Application (SYLVIA) is a unique way to manipulate untyped lambda calculus expressions, by representing them as boxes connected by wires. It is an implementation of an idea by Keenan (1996). See http://dkeenan.com/Lambda for the theory behind this application.