Morte.Core

Syntax

data Var

data Const

data Path

data X

data Expr a

data Context a

Core functions

typeWith

typeOf

normalize

Utilities

shift

subst

pretty

buildExpr

buildExprASCII

Errors

data TypeError

data TypeMessage