3 Apr
2013
3 Apr
'13
6:25 p.m.
+1 for adding Category. There was also a proposal to rename (:~:) to (==) that I would be 100% behind. On Wed, Apr 3, 2013 at 1:05 PM, Bas van Dijk <v.dijk.bas@gmail.com> wrote:
On 3 April 2013 18:08, Richard Eisenberg <eir@cis.upenn.edu> wrote:
What other instances should there be for (:~:)?
Maybe:
instance Category (:~:) where id = Refl Refl . Refl = Refl
Bas
_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries