| Fri, 26 Jan 2007 13:59:06 +0100 | haftmann | refined algorithm | file | diff | annotate |
| Thu, 25 Jan 2007 09:32:51 +0100 | haftmann | tuned | file | diff | annotate |
| Tue, 09 Jan 2007 08:32:50 +0100 | haftmann | slight cleanups | file | diff | annotate |
| Fri, 05 Jan 2007 14:31:50 +0100 | haftmann | some cleanup | file | diff | annotate |
| Thu, 04 Jan 2007 14:01:39 +0100 | haftmann | eta-expansion now only to common maximum number of arguments | file | diff | annotate |
| Wed, 27 Dec 2006 19:10:06 +0100 | haftmann | different handling of type variable names | file | diff | annotate |