search

nick8325 / quickspec

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

Cleaned up interface for predicates #27

Closed MaximilianAlgehed closed 7 years ago

MaximilianAlgehed commented 7 years ago

I cleaned up the interface for conditionals.