| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |
| Thu, 13 Apr 2006 23:14:18 +0200 | huffman | hide common name of constant 'run' | file | diff | annotate |
| Mon, 10 Apr 2006 00:34:46 +0200 | wenzelm | hide (open) const; | file | diff | annotate |
| Fri, 24 Mar 2006 19:30:01 +0100 | huffman | lazy patterns in lambda abstractions | file | diff | annotate |
| Sun, 19 Feb 2006 01:40:13 +0100 | huffman | use qualified name for return | file | diff | annotate |
| Fri, 17 Feb 2006 01:46:38 +0100 | huffman | make maybe into a real type constructor; remove monad syntax | file | diff | annotate |
| Wed, 30 Nov 2005 01:01:15 +0100 | huffman | reimplement Case expression pattern matching to support lazy patterns | file | diff | annotate |