# HG changeset patch # User Christian Urban # Date 1587085036 -3600 # Node ID b56b728466c8293021d1f59605d53e5f98664291 # Parent add8c33f84ce21490aa99278657993dcbe000a20 updated 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 @@ here. Pizza, 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. Update This ancient work inspired +success continuations in proof search. Update: This ancient work inspired Adam Rosien to re-surrect some parts of it in -Scala [github, - slides] +Scala [github, + slides]