[Haskell-cafe] Re: Type equality proof

Martijn van Steenbergen martijn at van.steenbergen.nl
Thu Mar 19 04:03:08 EDT 2009


Ashley Yakeley wrote:
> Have a look at these:
> 
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/witness
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/open-witness

Ah, nice! It seems most we came up with is already in there. Even Any 
which I use in my project but didn't think of putting in the package is 
there. No use anymore for a new package now, I guess. On the other hand, 
I can't find the comm, trans, coerce, subst and resp. Would it be an 
idea to add those to your package?

Thanks,

Martijn.


More information about the Haskell-Cafe mailing list