syntactic-0.6: Generic abstract syntax, and utilities for embedded languages (Index - E)

syntactic-0.6: Generic abstract syntax, and utilities for embedded languages

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
V
W
:
$
All

Index - E

empty	Language.Syntactic.Sharing.Utils
Eval	Language.Syntactic.Interpretation.Evaluation, Language.Syntactic
evalFull	Language.Syntactic.Interpretation.Evaluation, Language.Syntactic
evalLambda	Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder
evalLambdaM	Language.Syntactic.Features.Binding
EvalResult	Language.Syntactic.Syntax, Language.Syntactic
evaluate	Language.Syntactic.Interpretation.Evaluation, Language.Syntactic
evaluateSym	Language.Syntactic.Features.Symbol
ExprEq	Language.Syntactic.Interpretation.Equality, Language.Syntactic
exprEq	Language.Syntactic.Interpretation.Equality, Language.Syntactic
exprEqSym	Language.Syntactic.Features.Symbol
exprHash	Language.Syntactic.Interpretation.Equality, Language.Syntactic
exprHashSym	Language.Syntactic.Features.Symbol