quickspec-0.9.6: Equational laws for free!

Index - H

holesTest.QuickSpec.Term