typelevel / algebra

Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378 stars 69 forks source link

OrderLaws s/eq/eqv #60

Closed adelbertc closed 9 years ago

non commented 9 years ago

This looks good. Thanks!

The background here is that it is very difficult to call a method named eq.

:+1:

non commented 9 years ago

Since we discussed using N=1 as our new PR review policy, I am merging this now.