Morte.Core

Syntax

data Var

data Const

data Expr

type Context

Core functions

typeWith

typeOf

normalize

Utilities

used

prettyExpr

prettyTypeError

Errors

data TypeError

data TypeMessage

Builders

buildConst

buildVar

buildExpr

buildTypeMessage

buildTypeError