The latest version of lambda-cube is 0.3.0.0-0.
lib:lambda-cube
Modules
- LambdaCube.Common.Parser
- LambdaCube.Common.PrettyPrinter
- LambdaCube.STLC.Ast
- LambdaCube.STLC.Elaborator
- LambdaCube.STLC.Evaluator
- LambdaCube.STLC.Normalizer
- LambdaCube.STLC.Parser
- LambdaCube.STLC.PrettyPrinter
- LambdaCube.STLC.TH
- LambdaCube.STLC.TypeChecker
- LambdaCube.SystemF.Ast
- LambdaCube.SystemF.Elaborator
- LambdaCube.SystemF.Evaluator
- LambdaCube.SystemF.Normalizer
- LambdaCube.SystemF.Parser
- LambdaCube.SystemF.PrettyPrinter
- LambdaCube.SystemF.TH
- LambdaCube.SystemF.TypeChecker
- LambdaCube.SystemFw.Ast
- LambdaCube.SystemFw.Elaborator
- LambdaCube.SystemFw.Evaluator
- LambdaCube.SystemFw.Normalizer
- LambdaCube.SystemFw.Parser
- LambdaCube.SystemFw.PrettyPrinter
- LambdaCube.SystemFw.TH
- LambdaCube.SystemFw.TypeChecker
- LambdaCube.SystemFw_.Ast
- LambdaCube.SystemFw_.Elaborator
- LambdaCube.SystemFw_.Evaluator
- LambdaCube.SystemFw_.Normalizer
- LambdaCube.SystemFw_.Parser
- LambdaCube.SystemFw_.PrettyPrinter
- LambdaCube.SystemFw_.TH
- LambdaCube.SystemFw_.TypeChecker
Dependencies
- base lib:base >=4.12 && <5
- megaparsec lib:megaparsec >=9.0.1 && <9.1
- template-haskell lib:template-haskell >=0
- text lib:text >=0
Reverse dependencies
Direct only. Not exhaustive.
- lambda-cube test:lambda-cube-test