lambda-calculator: A lambda calculus interpreter

[ lambdacalculus, language, library, mit, program, teaching ] [ Propose Tags ]

Please see README.md

Modules

[Last Documentation]

Language
- Language.Lambda
  - Language.Lambda.Eval
  - Language.Lambda.Expression
  - Language.Lambda.Parser
  - Util
    - Language.Lambda.Util.PrettyPrint
- Language.SystemF
  - Language.SystemF.Expression
  - Language.SystemF.Parser

Downloads

lambda-calculator-1.1.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

sgillespie

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.5.0, 1.0.0, 1.1.0, 1.1.1, 2.0.0, 3.0.0, 3.0.0.1, 3.1.0.0, 3.1.1.0
Dependencies	base (<=5), lambda-calculator, optparse-applicative, parsec, Shellac, Shellac-readline [details]
License	MIT
Copyright	2016 Sean Gillespie
Author	Sean D Gillespie
Maintainer	sean@mistersg.net
Category	LambdaCalculus, Language, Teaching
Home page	https://github.com/sgillespie/lambda-calculus#readme
Source repo	head: git clone https://github.com/sgillespie/lambda-calculus
Uploaded	by sgillespie at 2017-01-02T22:57:48Z
Distributions
Executables	lambda-calculator
Downloads	3489 total (28 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2017-01-03 [all 3 reports]