Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
module LambdaCube.STLC.Ast
module LambdaCube.STLC.Elaborator
module LambdaCube.STLC.Evaluator
module LambdaCube.STLC.Lifter
module LambdaCube.STLC.Normalizer
module LambdaCube.STLC.Parser
module LambdaCube.STLC.Substitution
module LambdaCube.STLC.TH
module LambdaCube.STLC.TypeChecker