-
Simon Peyton Jones authored
It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.
ccb16c13
It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.