quickspec-0.9.6: Equational laws for free!

Index - A

A 
1 (Type/Class)Test.QuickSpec.Prelude, Test.QuickSpec
2 (Data Constructor)Test.QuickSpec.Prelude
alwaysTest.QuickSpec.TestTotality
AppTest.QuickSpec.Term
appTest.QuickSpec.Term
approximateTest.QuickSpec.Approximate
argsTest.QuickSpec.Term
argumentTypesTest.QuickSpec.Signature
argUseTest.QuickSpec.Reasoning.CongruenceClosure
arithTest.QuickSpec.Prelude, Test.QuickSpec
arityTest.QuickSpec.Term
Atom 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term