[Haskell-cafe] GADTs are expressive

Jim Apple jbapple+haskell-cafe at gmail.com
Mon Jan 8 19:34:13 EST 2007

On 1/8/07, Roberto Zunino <zunino at di.unipi.it> wrote:
> Does anyone else believe that using strictess annotations in GADT proof
> terms would be good style?

I think Tim Sheard uses strictness in his Omega project for the same
reason you suggest. See



More information about the Haskell-Cafe mailing list