search

nick8325 / quickspec

Equational laws for free
BSD 3-Clause "New" or "Revised" License
250 stars 24 forks source link

Implemented checking of instance existence #33

Closed MaximilianAlgehed closed 6 years ago

MaximilianAlgehed commented 6 years ago

QuickSpec will now give a warning for missing instances of Arbitrary and Ord for base types like Float and Int.