# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1462359856 -3600
# Node ID 9dae6e101cde71732146f2d0b1cbb7ba09e40a1a
# Parent  882ff9b28510cf49d38e5d98640e8a5bed2fd31a
updated

diff -r 882ff9b28510 -r 9dae6e101cde index.html
--- a/index.html	Sun Apr 10 20:57:33 2016 +0100
+++ b/index.html	Wed May 04 12:04:16 2016 +0100
@@ -290,10 +290,11 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Unification">formally verified</A> in Isabelle. This 
 was possible  since this unification algorithm is formulated in a simple first-order language 
 (unlike other algorithms for higher-order unification). 
-<A HREF="http://www.cs.indiana.edu/~dfried/">Prof. Daniel Friedman</A> and his group use nominal 
-unification in their alpha-Kanren system implemented in Scheme. 
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Prof. Maribel Fernandez</A> and her student
 improved the nominal unification algorithm to be quadratic. 
+  <A HREF="http://www.cs.indiana.edu/~dfried/">Prof. Daniel Friedman</A> and his group use nominal 
+unification in their alpha-Kanren system implemented in Scheme. This work has also found its
+  way into <A HREF="http://clojure.org">Clojure</A> as the <A HREF="https://github.com/clojure/core.logic/wiki/core.logic.nominal">core.logic.nominal</A> package.
 My funding for this work was provided through a research fellowship from 
 <A HREF="http://www.corpus.cam.ac.uk">Corpus Christi College</A>, Cambridge. 
 </TD>
@@ -353,7 +354,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:47:58 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed May  4 12:01:29 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r 882ff9b28510 -r 9dae6e101cde msc-projects-15.html
--- a/msc-projects-15.html	Sun Apr 10 20:57:33 2016 +0100
+++ b/msc-projects-15.html	Wed May 04 12:04:16 2016 +0100
@@ -283,7 +283,8 @@
   able to write JavaScript, CCS or HTML...not something one would like to depend on given that
   &ldquo;normal&rdquo; users likely only have a LaTeX background. The aim of this project is to invent a
   very simple language that is inspired by LaTeX and then generate from code written in this language
-  slides that can be displayed in a web-browser.
+  slides that can be displayed in a web-browser. An example would be the
+  <A HREF="https://www.madoko.net">Madoko</A> project.
   </p>
 
  <p>
@@ -619,7 +620,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Dec  3 11:37:24 GMT 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Apr 16 12:48:58 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>