lib:lol-calculus

Modules

• Language.LOL.Calculus
• Language.LOL.Calculus.Abstraction
• Language.LOL.Calculus.Axiom
• Language.LOL.Calculus.Form
• Language.LOL.Calculus.Read
• Language.LOL.Calculus.Term
• Language.LOL.Calculus.Type

Dependencies

• base lib:base >=4.6 && <5
• containers lib:containers >=0.5 && <0.6
• parsec lib:parsec >=3.1.2 && <4
• text lib:text >=0
• text-format lib:text-format >=0
• transformers lib:transformers >=0.4 && <0.5

Reverse dependencies

Direct only. Not exhaustive.

• lol-calculus exe:lol-calculus
• lol-typing lib:lol-typing
• lol-typing test:lol-typing-test