-
Simon Peyton Jones authored
It always used to do so, but I removed it because I didn't see why. Now I unsderstand why, and wrote Note [Kick out insolubles]
64d07abd
It always used to do so, but I removed it because I didn't see why. Now I unsderstand why, and wrote Note [Kick out insolubles]