Morte.Core

Syntax

data Var

data Const

data Path

data X

data Expr a

type Context

Core functions

typeWith

typeOf

normalize

Utilities

shift

subst

pretty

Errors

data TypeError

data TypeMessage