equal
deleted
inserted
replaced
377 <A HREF="https://nms.kcl.ac.uk/christian.urban/Prover/index.html">here</A>. |
377 <A HREF="https://nms.kcl.ac.uk/christian.urban/Prover/index.html">here</A>. |
378 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
378 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
379 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
379 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
380 success continuations in proof search. <B>Update:</B> This ancient work inspired |
380 success continuations in proof search. <B>Update:</B> This ancient work inspired |
381 <A HREF="http://rosien.net/">Adam Rosien</A> to re-surrect some parts of it in |
381 <A HREF="http://rosien.net/">Adam Rosien</A> to re-surrect some parts of it in |
382 <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>, |
382 <A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://github.com/arosien/sequentish">github</A>, |
383 <A HREF="https://arosien.github.io/sequentish/slides.html#/1">slides</A>] |
383 <A HREF="https://arosien.github.io/sequentish/slides.html#/">slides</A>] |
384 </TD> |
384 </TD> |
385 </TR> |
385 </TR> |
386 |
386 |
387 |
387 |
388 </TABLE> |
388 </TABLE> |