Data.Type.Equality and coercions

[Joachim Breitner]

Hi,


Am Mittwoch, den 09.10.2013, 13:18 -0400 schrieb Edward Kmett:
> 'subst' may be a better name for gcoerce than it is for coerce,
> anyways, so there is plenty of room for discussion.

not a very constructive comment, but subst certainly is a better name,
for, well, subst: 
http://hackage.haskell.org/package/type-equality-0.1.2/docs/Data-Type-Equality.html#v:subst

Greetings,
Joachim


-- 
Joachim ?nomeata? Breitner
  mail at joachim-breitner.de ? http://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  ? GPG-Key: 0x4743206C
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131009/12626b26/attachment.sig>