diff options
Diffstat (limited to 'docs/users_guide/exts/poly_kinds.rst')
-rw-r--r-- | docs/users_guide/exts/poly_kinds.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/poly_kinds.rst b/docs/users_guide/exts/poly_kinds.rst index edd1856759..25843aedb0 100644 --- a/docs/users_guide/exts/poly_kinds.rst +++ b/docs/users_guide/exts/poly_kinds.rst @@ -77,7 +77,7 @@ run to completion, their results indeed have the types assigned. It makes no claim about programs that do not finish in a finite amount of time. To learn more about this decision and the design of GHC under the hood -please see the `paper <http://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf>`__ +please see the `paper <https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf>`__ introducing this kind system to GHC/Haskell. Principles of kind inference |