Changes

Page history
Update dead link to Safe Coercions paper authored by ElderEphemera's avatar ElderEphemera
Show whitespace changes
Inline Side-by-side
roles.md
View page @ ab5be5bd
...@@ -9,7 +9,7 @@ Role annotations are enabled using `{-# LANGUAGE RoleAnnotations #-}`. ...@@ -9,7 +9,7 @@ Role annotations are enabled using `{-# LANGUAGE RoleAnnotations #-}`.
See also See also
- Our ICFP 2014 paper [Safe Coercions](http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible-ext.pdf), which gives lots of motivation and details, including the `Coercible` class.\] - Our ICFP 2014 paper [Safe Coercions](https://richarde.dev/papers/2014/coercible/coercible.pdf), which gives lots of motivation and details, including the `Coercible` class.\]
- Richard's unpublished paper [An overabundance of equality](http://cs.brynmawr.edu/~rae/pubs.html) - Richard's unpublished paper [An overabundance of equality](http://cs.brynmawr.edu/~rae/pubs.html)
- The user-level [wiki page about Coercible](http://www.haskell.org/haskellwiki/GHC/Coercible) - The user-level [wiki page about Coercible](http://www.haskell.org/haskellwiki/GHC/Coercible)
- [Roles2](roles2) which identifies a difficulty with the design in the paper, and some possibilities for solving it. - [Roles2](roles2) which identifies a difficulty with the design in the paper, and some possibilities for solving it.
... ...
......