Morte.Core

Syntax

data Var

data Const

data Expr

type Context

Core functions

typeWith

typeOf

normalize

Utilities

used

shift

prettyExpr

prettyTypeError

Errors

data TypeError

data TypeMessage

Builders

buildConst

buildVar

buildExpr

buildTypeMessage

buildTypeError