elsa-0.2.1.2: A tiny language for understanding the lambda-calculus

Index

AlphEqLanguage.Elsa.Types, Language.Elsa
BetaEqLanguage.Elsa.Types, Language.Elsa
Bind 
1 (Type/Class)Language.Elsa.Types, Language.Elsa
2 (Data Constructor)Language.Elsa.Types, Language.Elsa
bindIdLanguage.Elsa.Types, Language.Elsa
bkLamLanguage.Elsa.Types, Language.Elsa
Defn 
1 (Type/Class)Language.Elsa.Types, Language.Elsa
2 (Data Constructor)Language.Elsa.Types, Language.Elsa
DefnEqLanguage.Elsa.Types, Language.Elsa
defnsLanguage.Elsa.Types, Language.Elsa
EAppLanguage.Elsa.Types, Language.Elsa
ELamLanguage.Elsa.Types, Language.Elsa
Elsa 
1 (Type/Class)Language.Elsa.Types, Language.Elsa
2 (Data Constructor)Language.Elsa.Types, Language.Elsa
elsaLanguage.Elsa.Eval, Language.Elsa
elsaOnLanguage.Elsa.Eval, Language.Elsa
EqnLanguage.Elsa.Types, Language.Elsa
Eval 
1 (Type/Class)Language.Elsa.Types, Language.Elsa
2 (Data Constructor)Language.Elsa.Types, Language.Elsa
evalsLanguage.Elsa.Types, Language.Elsa
EVarLanguage.Elsa.Types, Language.Elsa
evNameLanguage.Elsa.Types, Language.Elsa
evRootLanguage.Elsa.Types, Language.Elsa
evStepsLanguage.Elsa.Types, Language.Elsa
ExprLanguage.Elsa.Types, Language.Elsa
failuresLanguage.Elsa.Types, Language.Elsa
IdLanguage.Elsa.Types, Language.Elsa
InvalidLanguage.Elsa.Types, Language.Elsa
mkErrLanguage.Elsa.Types, Language.Elsa
mkLamLanguage.Elsa.Types, Language.Elsa
NormEqLanguage.Elsa.Types, Language.Elsa
OKLanguage.Elsa.Types, Language.Elsa
parseLanguage.Elsa.Parser, Language.Elsa
parseFileLanguage.Elsa.Parser, Language.Elsa
PartialLanguage.Elsa.Types, Language.Elsa
RAppLanguage.Elsa.Types, Language.Elsa
ResultLanguage.Elsa.Types, Language.Elsa
resultErrorLanguage.Elsa.Types, Language.Elsa
RExprLanguage.Elsa.Types, Language.Elsa
rExprLanguage.Elsa.Types, Language.Elsa
RLamLanguage.Elsa.Types, Language.Elsa
runElsaLanguage.Elsa.Runner, Language.Elsa
runElsaIdLanguage.Elsa.Runner, Language.Elsa
RVarLanguage.Elsa.Types, Language.Elsa
SBindLanguage.Elsa.Types, Language.Elsa
SDefnLanguage.Elsa.Types, Language.Elsa
SElsaLanguage.Elsa.Types, Language.Elsa
SEqnLanguage.Elsa.Types, Language.Elsa
SEvalLanguage.Elsa.Types, Language.Elsa
SExprLanguage.Elsa.Types, Language.Elsa
SResultLanguage.Elsa.Types, Language.Elsa
SStepLanguage.Elsa.Types, Language.Elsa
Step 
1 (Type/Class)Language.Elsa.Types, Language.Elsa
2 (Data Constructor)Language.Elsa.Types, Language.Elsa
successesLanguage.Elsa.Types, Language.Elsa
tagLanguage.Elsa.Types, Language.Elsa
TaggedLanguage.Elsa.Types, Language.Elsa
topMainLanguage.Elsa.Runner, Language.Elsa
TrnsEqLanguage.Elsa.Types, Language.Elsa
UnBetaLanguage.Elsa.Types, Language.Elsa
UnboundLanguage.Elsa.Types, Language.Elsa
UnTrEqLanguage.Elsa.Types, Language.Elsa