YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)

Paterson, Ross R.Paterson at city.ac.uk
Thu Nov 3 23:57:07 CET 2011

Ben Millwood writes:
> The documentation and/or laws should probably be altered to prevent
> the definitions 'unit = const 1' and 'associate = id' :)

Good point.  It should say that if x and y are factors of each other then
associate x == associate y.

More information about the Libraries mailing list