
19 Jul
2014
19 Jul
'14
7:44 a.m.
On 19 July 2014 20:54, Alexander Berntsen
Furthermore I do not like your definition, and would prefer:
equating p x y = (p x) == (p y)
How is this any different from the original proposed solution? Either way, it's -1 for the proposal from me as well. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com