# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1415574130 0
# Node ID c3ae73992b4932e1cc76d782d3c777ee58bca40a
# Parent  13e54dac5ff0c5c6aee3842d074ff5a99c324b15
updated

diff -r 13e54dac5ff0 -r c3ae73992b49 msc-projects-14.html
--- a/msc-projects-14.html	Sun Nov 09 22:52:50 2014 +0000
+++ b/msc-projects-14.html	Sun Nov 09 23:02:10 2014 +0000
@@ -91,7 +91,7 @@
   85 lines of code and based on the concept of 
   <A HREF="http://lambda-the-ultimate.org/node/2293">derivatives of regular expressions</A>.
   These derivatives were introduced in 1964 by <A HREF="http://en.wikipedia.org/wiki/Janusz_Brzozowski_(computer_scientist)">
-  Janusz Brzozowski</A>, but according to this 
+  Janusz Brzozowski</A>, but according to this
   <A HREF="http://www.cl.cam.ac.uk/~so294/documents/jfp09.pdf">paper</A> had been lost in the &ldquo;sands of time&rdquo;.
   The advantage of derivatives is that they side-step completely the usual 
   <A HREF="http://hackingoff.com/compilers/regular-expression-to-nfa-dfa">translations</A> of regular expressions
@@ -159,8 +159,8 @@
   <A HREF="https://github.com/chameco/Shade">here</A>.
   I recently implemented a very simple compiler for an even simpler functional
   programming language following this 
-  <A HREF="http://www.cs.princeton.edu/~dpw/papers/tal-toplas.pdf">paper</A> 
-  (also described <A HREF="http://www.cs.princeton.edu/~dpw/papers/tal-tr.pdf">here</A>).
+  <A HREF="https://www.cs.princeton.edu/~dpw/papers/tal-toplas.pdf">paper</A> 
+  (also described <A HREF="https://www.cs.princeton.edu/~dpw/papers/tal-tr.pdf">here</A>).
   My code, written in <A HREF="http://www.scala-lang.org/">Scala</A>, of this compiler is 
   <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/compiler.scala">here</A>.
   The compiler can deal with simple programs involving natural numbers, such
@@ -623,7 +623,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov  9 22:52:32 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov  9 23:00:48 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>