Language.Syntactic.Functional

Syntactic constructs

data Name

data Literal sig

data Construct sig

data Binding sig

data BindingT sig

class BindingDomain sym

data Let sig

data MONAD m sig

data Remon sym m a

desugarMonadTyped

Free and bound variables

Substitution

Alpha-equivalence

Evaluation

type family Denotation sig

class Eval s

type family DenotationM m sig

liftDenotationM

class EvalEnv sym env

compileSymDefault