30 Mar
2010
30 Mar
'10
7:03 p.m.
wagnerdm@seas.upenn.edu wrote:
I believe I was claiming that, in the absence of undefined, Nothing and Nothing2 *aren't* isomorphic (in the CT sense).
Well, this is only due to Haskell's difficulty with empty case expressions. If that were fixed, they would be isomorphic even without undefined. -- Ashley Yakeley