pisigma-0.2.1: A dependently typed core language (Index - D)

pisigma-0.2.1: 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
:
<
-
All

Index - D

deBold	Language.PiSigma.Pretty
decimal	Language.PiSigma.Lexer
Decl	Language.PiSigma.Syntax
decl	Language.PiSigma.Evaluate
decl'	Language.PiSigma.Evaluate
decls	Language.PiSigma.Syntax
Defn	Language.PiSigma.Syntax
defn'	Language.PiSigma.Evaluate
deUnderline	Language.PiSigma.Pretty
dot
1 (Function)	Language.PiSigma.Pretty
2 (Function)	Language.PiSigma.Lexer
dullBlack	Language.PiSigma.Pretty
dullBlue	Language.PiSigma.Pretty
dullCyan	Language.PiSigma.Pretty
dullGreen	Language.PiSigma.Pretty
dullMagenta	Language.PiSigma.Pretty
dullRed	Language.PiSigma.Pretty
dullWhite	Language.PiSigma.Pretty
dullYellow	Language.PiSigma.Pretty