From f12e45117ec7652941cd6153f7a446d0f2547393 Mon Sep 17 00:00:00 2001 From: wadler Date: Wed, 6 Nov 2019 11:29:43 +0000 Subject: [PATCH] added citation to jfp paper --- courses/tspl/2019/tspl2019.md | 2 ++ 1 file changed, 2 insertions(+) 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)