lambda-calculator: A lambda calculus interpreter

[ lambdacalculus, language, library, mit, program, teaching ] [ Propose Tags ]
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 (>=4.9 && <5), bytestring, containers, lambda-calculator, microlens, mtl, optparse-applicative, parsec, prettyprinter, repline, rio, text [details]
License MIT
Copyright 2016-2023 Sean Gillespie
Author Sean D Gillespie
Maintainer sean@mistersg.net
Category LambdaCalculus, Language, Teaching
Home page https://github.com/sgillespie/lambda-calculator#readme
Bug tracker https://github.com/sgillespie/lambda-calculator/issues
Source repo head: git clone https://github.com/sgillespie/lambda-calculator
Uploaded by sgillespie at 2023-03-01T03:49:58Z
Distributions
Executables lambda-calculator
Downloads 3472 total (24 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-03-01 [all 1 reports]