9 Oct
2013
9 Oct
'13
1:21 p.m.
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-Equali... Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org