On 1/8/07, Roberto Zunino <[EMAIL PROTECTED]> 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 http://web.cecs.pdx.edu/~sheard/ Jim _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
