@hackage gulcii0.3

graphical untyped lambda calculus interactive interpreter

GULCII is an untyped lambda calculus interpreter supporting interactive modification of a running program with graphical display of graph reduction.

See README.md for the user manual.