From 928bf5c12be79dbac5f4ea167709d5cb14cba090 Mon Sep 17 00:00:00 2001
From: Valentin Blot <24938579+vblot@users.noreply.github.com>
Date: Mon, 4 Dec 2017 16:22:23 +0100
Subject: [PATCH] reference to the paper in README

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e392c38..aee1fd3 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # SystemFtoBarRecursion
-Implementations of an interpretation of system F through bar recursion
+Implementations of an interpretation of system F through bar recursion defined in:
+https://valentinblot.org/pro/SystFbarrec.pdf
-- 
GitLab