Morte.Core

Syntax

data Var

data Const

data Expr

type Context

Core functions

typeWith

typeOf

normalize

Utilities

prettyExpr

prettyTypeError

Errors

data TypeError

data TypeMessage