quickspec-2.1: Equational laws for free!

Index - Q

quickSpecQuickSpec
quickSpecResultQuickSpec
quotesQuickSpec.Term