| My current uses of GADTs belong to the company I work for, so it would
| be easier for me if *I* could check from time to time. Is the code
| publicly available?
Not yet, I'm afraid. But it will be soon.
Simon
___
Haskell mailing list
On Fri, Oct 14, 2005 at 04:35:24PM +0100, Simon Peyton-Jones wrote:
Stephanie and Dimitrios and I are now busy revising our wobbly-types
GADT paper (which is implemented in GHC, but never published
http://research.microsoft.com/%7Esimonpj/papers/gadt/index.htm). We
have a *far* simpler story