Language.Lambda.SystemF
type Globals = Map String (SystemFExpr String String) Source #
evalText :: Text -> Typecheck Text (SystemFExpr Text Text) Source #
module Language.Lambda.SystemF.Expression
module Language.Lambda.SystemF.Parser
module Language.Lambda.SystemF.State