quickspec-2.1.5: Equational laws for free! (Index - C)

quickspec-2.1.5: Equational laws for free!

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

Index - C

C	QuickSpec.Internal.Type, QuickSpec
canApply	QuickSpec.Internal.Type
canonicalise	QuickSpec.Internal.Term
canonicaliseType	QuickSpec.Internal.Type
cast	QuickSpec.Internal.Type
cat	QuickSpec.Internal.Term
char	QuickSpec.Internal.Term
Chr	QuickSpec.Internal.Term
ClassA	QuickSpec.Internal.Type
ClassB	QuickSpec.Internal.Type
ClassC	QuickSpec.Internal.Type
ClassD	QuickSpec.Internal.Type
ClassE	QuickSpec.Internal.Type
ClassF	QuickSpec.Internal.Type
colon	QuickSpec.Internal.Term
comma	QuickSpec.Internal.Term
compareFuns	QuickSpec.Internal.Term
con	QuickSpec.Internal, QuickSpec
Context
1 (Type/Class)	QuickSpec.Internal
2 (Data Constructor)	QuickSpec.Internal
curried	QuickSpec.Internal.Term
customConstant	QuickSpec.Internal