27 Jul
2017
27 Jul
'17
8:01 p.m.
On 28 July 2017 at 09:37, Niklas Hambüchen
On 28/07/17 00:45, David Feuer wrote:
Unfortunately, this is really awful for sets, hash maps, etc. If this is done at some point, I suppose we could fix `nub` in the same way?
I'd prefer we have a "needs only Eq" function like nub, as I've used it in the past. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com