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