14 Sep
2019
14 Sep
'19
2:55 p.m.
On Sat, 14 Sep 2019, Erik Hesselink wrote:
Does 'equating' exist in base now? I've always missed having that function in the past, and defined it myself many times.
I import it from my utility-ht:Data.Eq.HT and thus stay independent from newer base versions.