The latest version of lambda-calculator is 3.1.1.0-0.
lib:lambda-calculator
Modules
- Language.Lambda.Shared.Errors
- Language.Lambda.Shared.UniqueSupply
- Language.Lambda.SystemF
- Language.Lambda.SystemF.Eval
- Language.Lambda.SystemF.Expression
- Language.Lambda.SystemF.Parser
- Language.Lambda.SystemF.State
- Language.Lambda.SystemF.TypeCheck
- Language.Lambda.Untyped
- Language.Lambda.Untyped.Eval
- Language.Lambda.Untyped.Expression
- Language.Lambda.Untyped.Parser
- Language.Lambda.Untyped.State
Dependencies
- base lib:base >=4.9 && <5
- containers lib:containers >=0
- microlens lib:microlens >=0
- mtl lib:mtl >=0
- parsec lib:parsec >=0
- prettyprinter lib:prettyprinter >=0
- rio lib:rio >=0
Reverse dependencies
Direct only. Not exhaustive.
- lambda-calculator exe:lambda-calculator
- lambda-calculator test:lambda-calculus-test