Re: Haskell 2 -- Dependent types?

[Lennart Augustsson]

> I'm not sure that anybody has "accepted"
> undecidable type checking.
People using Gofer or C++ seem to have.

       -- Lennart