lambda-toolbox: An application to work with the lambda calculus (for learning)

lambda-toolbox allows one to reduce lambda expressions step by step, performing alpha-, beta-, and eta-reduction. It's a tool intended for beginners to play with the lambda calculus.

$ lambda-toolbox -h

will tell you everything relevant.

Downloads

• lambda-toolbox-1.0.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• JulianFleischer

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates