The latest version of lambda-calculator is 3.1.1.0-0.
lib:lambda-calculator
Modules
- Language.Lambda
- Language.Lambda.Eval
- Language.Lambda.Expression
- Language.Lambda.Parser
- Language.Lambda.Util.PrettyPrint
- Language.SystemF
- Language.SystemF.Expression
- Language.SystemF.Parser
- Language.SystemF.TypeCheck
Dependencies
- base lib:base >=4.9 && <5
- containers lib:containers >=0
- parsec lib:parsec >=0
Reverse dependencies
Direct only. Not exhaustive.
- lambda-calculator exe:lambda-calculator
- lambda-calculator test:lambda-calculus-test