@hackage / gulcii

graphical untyped lambda calculus interactive interpreter