[Git][ghc/ghc][master] docs: Fix link to injective type families paper
Marge Bot (@marge-bot)
gitlab at gitlab.haskell.org
Fri May 31 10:09:56 UTC 2024
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
303c4b33 by Preetham Gujjula at 2024-05-31T06:09:21-04:00
docs: Fix link to injective type families paper
Closes #24863
- - - - -
1 changed file:
- docs/users_guide/exts/type_families.rst
Changes:
=====================================
docs/users_guide/exts/type_families.rst
=====================================
@@ -1166,7 +1166,7 @@ extension. This extension implies ``-XTypeFamilies``.
For full details on injective type families refer to the Haskell Symposium
2015 paper `Injective type families for
-Haskell <https://ics.p.lodz.pl/~stolarek/_media/pl:research:stolarek_peyton-jones_eisenberg_injectivity_extended.pdf>`__.
+Haskell <https://richarde.dev/papers/2015/injective/injective-type-families.pdf>`__.
.. _injective-ty-fams-syntax:
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/303c4b33073f5adf111cdd3ab005f619fbf17f62
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/303c4b33073f5adf111cdd3ab005f619fbf17f62
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240531/bc7d0935/attachment.html>
More information about the ghc-commits
mailing list