lambda-calculator: A lambda calculus interpreter

[ lambdacalculus, language, library, mit, program, teaching ] [ Propose Tags ]
Versions 0.5.0, 1.0.0, 1.1.0, 1.1.1, 2.0.0
Dependencies base (>=4.9 && <5), containers, lambda‑calculator, optparse‑applicative (>=0.13), parsec, Shellac, Shellac‑readline [details]
License MIT
Copyright 2016 Sean Gillespie
Author Sean D Gillespie
Category LambdaCalculus, Language, Teaching
Home page
Source repo head: git clone
Uploaded by sgillespie at Fri Apr 7 01:16:04 UTC 2017
Distributions NixOS:2.0.0
Executables lambda-calculator
Downloads 877 total (17 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-04-07 [all 1 reports]
Hackage Matrix CI

Please see




Maintainer's Corner

For package maintainers and hackage trustees