Implement refl and trans
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 1 Jul 2013 11:59:26 +0000 (13:59 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 1 Jul 2013 11:59:26 +0000 (13:59 +0200)
commitfcee6224448da1f2b5ea29bd01b57f5e9d944b9e
tree47d0f9f8c9d1738483988fdff9dc9f175aa523dd
parent831378e31a92372f33dfeb00e959c6edd9d5b7b2
Implement refl and trans
GHC/NT/Plugin.hs