Language.Syntactic.Constructs.Binding

Variables

data VarId

showVar

data Variable a

Lambda binding

data Lambda a

Let binding

data Let a

Interpretation

subst

betaReduce

class EvalBind sub

evalBindM

evalBind

appDen

evalBindSymDefault

Alpha equivalence

class VarEqEnv a

class AlphaEq sub1 sub2 dom env

alphaEqM

alphaEqM2

alphaEq

alphaEqSymDefault

alphaEqChildren