diff options
Diffstat (limited to 'docs/users_guide/exts/roles.rst')
| -rw-r--r-- | docs/users_guide/exts/roles.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/roles.rst b/docs/users_guide/exts/roles.rst index a92a78787d..1e3e8ddaeb 100644 --- a/docs/users_guide/exts/roles.rst +++ b/docs/users_guide/exts/roles.rst @@ -40,7 +40,7 @@ variables of datatypes, classes, and type synonyms. Roles as implemented in GHC are a from a simplified version of the work described in `Generative type abstraction and type-level -computation <http://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf>`__, +computation <https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf>`__, published at POPL 2011. .. _nominal-representational-and-phantom: |