Mon, 15 Aug 2011 19:27:55 +0200 | wenzelm | explicit check of finished evaluation; | file | diff | annotate |
Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
Thu, 09 Sep 2010 17:20:27 +0200 | wenzelm | more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally; | file | diff | annotate |
Fri, 08 Jan 2010 11:07:53 +0100 | wenzelm | fixed type error; | file | diff | annotate |
Wed, 06 Jan 2010 13:14:28 +0100 | wenzelm | do not memoize interrupts; | file | diff | annotate |
Tue, 20 Oct 2009 19:28:01 +0200 | wenzelm | removed unused map_force; | file | diff | annotate |
Thu, 01 Oct 2009 23:49:05 +0200 | wenzelm | tuned; | file | diff | annotate |
Thu, 01 Oct 2009 18:24:06 +0200 | wenzelm | Lazy evaluation with memoing (sequential version). | file | diff | annotate |