users guide: Fix broken link
authorBen Gamari <ben@smart-cactus.org>
Mon, 11 Nov 2019 15:45:13 +0000 (10:45 -0500)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 13 Nov 2019 12:08:03 +0000 (07:08 -0500)
docs/users_guide/glasgow_exts.rst

index 5963049..5d708e1 100644 (file)
@@ -10380,7 +10380,11 @@ is *not* fine in Haskell today; we have no way to solve such a constraint.
 Here, the quantified constraint ``forall b. (Eq b) => Eq (f b)`` behaves
 a bit like a local instance declaration, and makes the instance typeable.
 
-The paper `Quantified class constraints <http://i.cs.hku.hk/~bruno//papers/hs2017.pdf>`_ (by Bottu, Karachalias, Schrijvers, Oliveira, Wadler, Haskell Symposium 2017) describes this feature in technical detail, with examples, and so is a primary reference source for this proposal.
+The paper `Quantified class constraints
+<https://homepages.inf.ed.ac.uk/wadler/papers/quantcc/quantcc.pdf>`_ (by Bottu, Karachalias,
+Schrijvers, Oliveira, Wadler, Haskell Symposium 2017) describes this feature in
+technical detail, with examples, and so is a primary reference source for this
+feature.
 
 Motivation
 ----------------