17 Mar
2015
17 Mar
'15
6:40 p.m.
On Tue, Mar 17, 2015 at 05:47:11PM -0400, Richard Eisenberg wrote:
I have what may be a basic question: why is there an `instance Additive f => Additive (Point f)` (in the Affine module)? [...] PS: Of course, this instance is directly hurting my use of the package. [...]
Missing a "not"?