@hackage / lambda-toolbox

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

Latest1.0.1

About

Metadata

  • Last updated , by JulianFleischer
  • License BSD-3-Clause

  • Maintained by: Julian Fleischer <julian.fleischer@fu-berlin.de>

  • Lottery factor: 0

Links

Installation

Readme

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.