diff --git a/courses/tspl/2019/tspl2019.md b/courses/tspl/2019/tspl2019.md
index 1292bd74..71c03739 100644
--- a/courses/tspl/2019/tspl2019.md
+++ b/courses/tspl/2019/tspl2019.md
@@ -141,6 +141,8 @@ The optional project is to take a research paper and formalise all or
 part of it in Agda.  I suggest formalising the paper
 [here](http://homepages.inf.ed.ac.uk/wadler/topics/blame.html#coercions),
 but talk to me if you want to formalise something else.
+(A more recent draft of the same paper is
+[here](http://homepages.inf.ed.ac.uk/wadler/papers/coercions-jfp/coercions-jfp.pdf).)
 
 * Optional project cw6 due 4pm Thursday 28 November (Week 11)