Merge pull request #14 from qnikst/uni-spec

Add link to unified semantics for future erlang paper.

Author: hyperthunk

_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>