From ec05b1ec87d953fd0f2d80a3ff4ab72f0bb3504a Mon Sep 17 00:00:00 2001
From: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Thu, 22 Jan 2015 15:03:06 +0300
Subject: [PATCH] Add link to unified semantics for future erlang paper.

---
 _includes/nav.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_includes/nav.html b/_includes/nav.html
index 2282ceb..ee8a11b 100644
--- a/_includes/nav.html
+++ b/_includes/nav.html
@@ -37,6 +37,7 @@
                    <li><a href="https://github.com/haskell-distributed">Github Repositories</a></li>
                    <li><a href="https://cloud-haskell.atlassian.net/secure/BrowseProjects.jspa#all">Issue Tracker</a></li>
                    <li><a href="/static/semantics.pdf">Formal Semantics</a></li>
+		   <li><a href="http://dl.acm.org/citation.cfm?id=1863509.1863514&coll=DL&dl=GUIDE&CFID=462193996&CFTOKEN=19836659">Unified semantics for Future Erlang</a></li>
                    <li><a href="http://www.well-typed.com/blog/">Well-Typed Blog</a></li>
                 </ul>
               </li>