search

nick8325 / quickspec

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

Merge pull request #1 from nick8325/master #29

Closed MaximilianAlgehed closed 6 years ago

MaximilianAlgehed commented 7 years ago

Selector functions size to 0.