diff -r add8c33f84ce -r b56b728466c8 index.html --- a/index.html Fri Apr 17 01:43:45 2020 +0100 +++ b/index.html Fri Apr 17 01:57:16 2020 +0100 @@ -377,10 +377,10 @@ <A HREF="https://nms.kcl.ac.uk/christian.urban/Prover/index.html">here</A>. <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative extension of Java and a precursor of Scala. My implementation illustrates the technique of -success continuations in proof search. <B>Update</B> This ancient work inspired +success continuations in proof search. <B>Update:</B> This ancient work inspired <A HREF="http://rosien.net/">Adam Rosien</A> to re-surrect some parts of it in -<A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://arosien.github.io/sequentish/">github</A>, - <A HREF="https://arosien.github.io/sequentish/slides.html#/1">slides</A>] +<A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://arosien.github.io/sequentish/slides.html#/">github</A>, + <A HREF="https://arosien.github.io/sequentish/slides.html#/1">slides</A>] </TD> </TR>