add link to final version of paper

sweirich · Nov 20, 2020 · 02458ec · 02458ec
1 parent 1bffc98
commit 02458ec
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@ A Graded Dependent Type System
 This repository includes Coq proofs for the results claimed in Section 7.2 of the 
 paper "A graded dependent type system with a usage-aware semantics", by
 Pritam Choudhury, Harley Eades III, Richard A. Eisenberg and Stephanie Weirich.
-This paper has been conditionally accepted to POPL 2021.
+This paper will appear in POPL 2021 and is avaiable [here](https://github.com/sweirich/graded-haskell/blob/main/popl21-choudhury.pdf).
 
 The extended version of the paper is available from [arXiv](https://arxiv.org/abs/2011.04070).
 

diff --git a/popl21-choudhury.pdf b/popl21-choudhury.pdf