search

mikeizbicki / subhask

Type safe interface for working in subcategories of Hask
BSD 3-Clause "New" or "Revised" License
418 stars 43 forks source link

Should (-) be moved out of Cancellative? #62

Open endgame opened 7 years ago

endgame commented 7 years ago

This is just to point out this reddit discussion about cancellative semigroups. In tower tonyday567 just moved (-) to Group and made a new function cancel. This is the commit. What you do with it is up to you.