The lambda-toolbox package

[Tags: bsd3, program]

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.


Properties

Versions1.0, 1.0.1
Dependenciesbase (>=3.0 && <5.0)
LicenseBSD3
AuthorJulian Fleischer <julian.fleischer@fu-berlin.de>
MaintainerJulian Fleischer <julian.fleischer@fu-berlin.de>
Stabilitystable
CategoryLambdaCalculus, Teaching
Home pagehttp://scravy.de/blog/2012-02-20/a-lambda-toolbox-in-haskell.htm
Source repositoryhead: darcs get hub.darcs.net:lambda-toolbox
this: darcs get hub.darcs.net:lambda-toolbox --tag v1.0.1
Executableslambda-toolbox
Upload dateSat Mar 30 00:59:28 UTC 2013
Uploaded byJulianFleischer
Downloads148 total (14 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees