[ doc ] link to the paper

gallais · gallais · commit 259748f22561 · 2019-02-02T17:43:28.000+01:00
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
 # generic-syntax
-A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
+A self-contained repository for the paper [A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs](https://gallais.github.io/pdf/icfp18.pdf)
 
 # Typechecking
 
