Lcge is a project mainly written in C++ and HASKELL, it's free.
Lambda calculus graphical evaluation
404: Not Found