LambdaCalculator: A basic lambda calculator with beta reduction and a REPL

[ bsd3, language, program ] [ Propose Tags ] [ Report a vulnerability ]

A basic lambda calculator with beta reduction and a REPL

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.1, 0.0.2, 0.1, 0.2
Dependencies base (>=3 && <5), binary (>=0.4), bytestring (>=0.9), haskeline (>=0.6), mtl (>=1.1.0.0), parsec (>=2.1), pretty (>=1.0) [details]
Tested with ghc ==7.10.3
License BSD-3-Clause
Copyright Tim Sheard
Author Tim Sheard
Maintainer Thomas DuBuisson <thomas.dubuisson@gmail.com>
Category Language
Uploaded by ThomasDuBuisson at 2016-06-29T02:46:16Z
Distributions NixOS:0.2
Reverse Dependencies 1 direct, 0 indirect [details]
Executables LambdaCalculator
Downloads 3644 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2016-10-25 [all 4 reports]