pisigma-0.2: A dependently typed core language (Index - E)

pisigma-0.2: A dependently typed core language

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Y
:
<
-

Index - E

Empty	Language.PiSigma.Pretty
empty	Language.PiSigma.Pretty
emptyE	Language.PiSigma.Syntax
emptyScope	Language.PiSigma.Syntax
enclose	Language.PiSigma.Pretty
encloseSep	Language.PiSigma.Pretty
Entry	Language.PiSigma.Syntax
Enum
1 (Type/Class)	Language.PiSigma.Syntax
2 (Data Constructor)	Language.PiSigma.Syntax
Env	Language.PiSigma.Syntax
EnvEntries	Language.PiSigma.Syntax
EnvEntry	Language.PiSigma.Syntax
eq	Language.PiSigma.Equality
equals	Language.PiSigma.Pretty
Eval
1 (Type/Class)	Language.PiSigma.Evaluate
2 (Data Constructor)	Language.PiSigma.Evaluate
eval	Language.PiSigma.Evaluate
evalPrint	Language.PiSigma.Pretty
evalProg	Language.PiSigma.Evaluate
expand	Language.PiSigma.Syntax
extE	Language.PiSigma.Syntax
extendScope	Language.PiSigma.Syntax