The latest version of lambda-toolbox is 1.0.1-0.
lambda-toolbox
Version 1.0 revision 0 uploaded by JulianFleischer.
Package meta
- Synopsis
- An application to work with the lambda calculus (for learning)
- Description
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 -hwill tell you everything relevant.
- Author
- Julian Fleischer <julian.fleischer@fu-berlin.de>
- Bug reports
- n/a
- Category
- LambdaCalculus, Teaching
- Copyright
- n/a
- Homepage
- http://scravy.de/blog/2012-02-20/a-lambda-toolbox-in-haskell.htm
- Maintainer
- Julian Fleischer <julian.fleischer@fu-berlin.de>
- Package URL
- n/a
- Stability
- stable