quickspec-0.9.6: Equational laws for free!

Index - =

=:= 
1 (Function)Test.QuickSpec.Reasoning.UnionFind
2 (Function)Test.QuickSpec.Reasoning.CongruenceClosure
3 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
=?= 
1 (Function)Test.QuickSpec.Reasoning.CongruenceClosure
2 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning