From cfd7a051e61ad8b7fdac4db522311370ab386ba4 Mon Sep 17 00:00:00 2001
From: Justin Hsu <echylon@gmail.com>
Date: Wed, 18 Mar 2015 11:02:12 -0400
Subject: [PATCH] Change IFL link to arxiv.

---
 bibs/myrefs.bib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index f7e81ae..7b71060 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -2013,9 +2013,9 @@ year = {2014}
   title     = {Really naturally linear indexed type-checking},
   booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts},
   year      = {2014},
-  url       = {http://www.cis.upenn.edu/~justhsu/docs/dfuzztc.pdf},
+  url       = {http://arxiv.org/abs/1503.04522},
   jh        = yes,
-  docs      = yes,
+  eprint    = yes,
 }
 
 @article{LovaszLocal,