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
Dependencies base (>=4.9 && <5), bytestring, containers, lambda-calculator, mtl, optparse-applicative, parsec, prettyprinter, repline, rio, text [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-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 2022-06-10T19:44:36Z
Distributions NixOS:3.0.0.1
Executables lambda-calculator
Downloads 3258 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-06-10 [all 1 reports]