| Tue, 29 Jul 2008 14:20:22 +0200 | haftmann | Haskell now living in the RealWorld | file | diff | annotate |
| Mon, 21 Jul 2008 15:26:24 +0200 | haftmann | fixed code generator setup | file | diff | annotate |
| Sat, 19 Jul 2008 19:27:13 +0200 | bulwahn | added verification framework for the HeapMonad and quicksort as example for this framework | file | diff | annotate |
| Tue, 15 Jul 2008 09:30:39 +0200 | haftmann | dropped map; fixed swap | file | diff | annotate |
| Sun, 27 Apr 2008 17:13:01 +0200 | haftmann | corrected ML semantics | file | diff | annotate |
| Wed, 23 Apr 2008 19:36:18 +0200 | haftmann | fixed proof | file | diff | annotate |
| Fri, 18 Apr 2008 09:44:16 +0200 | haftmann | improved definition of upd | file | diff | annotate |