[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