quickspec-0.9: Equational laws for free (Index - R)

quickspec-0.9: 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
:
$
=
All

Index - R

rel	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
rep
1 (Function)	Test.QuickSpec.Reasoning.UnionFind
2 (Function)	Test.QuickSpec.Reasoning.CongruenceClosure
3 (Function)	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
repeatM	Test.QuickSpec.Utils
Replacement	Test.QuickSpec.Reasoning.UnionFind
reps	Test.QuickSpec.TestTree
rightArrow	Test.QuickSpec.Utils.Typed
runCC	Test.QuickSpec.Reasoning.CongruenceClosure
runEQ	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
runTool	Test.QuickSpec.Main
runUF	Test.QuickSpec.Reasoning.UnionFind