lambda-calculator: A lambda calculus interpreter

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

Please see README.md

Versions [faq] 0.5.0, 1.0.0, 1.1.0, 1.1.1, 2.0.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 Mon Jan 2 22:57:48 UTC 2017
Distributions NixOS:2.0.0
Executables lambda-calculator
Downloads 1511 total (98 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 3 reports]

Modules

  • 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

Maintainer's Corner

For package maintainers and hackage trustees