| Thu, 17 Jun 2010 10:51:38 +0200 | haftmann | dropped obscure type argument weakening mapping -- was only a misunderstanding | file | diff | annotate |
| Tue, 15 Jun 2010 11:38:40 +0200 | haftmann | drop function definitions of combinators | file | diff | annotate |
| Tue, 15 Jun 2010 08:32:32 +0200 | haftmann | formal introduction of case cong | file | diff | annotate |
| Mon, 07 Jun 2010 13:42:38 +0200 | haftmann | more consistent naming aroud type classes and instances | file | diff | annotate |
| Fri, 04 Jun 2010 19:36:41 +0200 | haftmann | avoid "$" | file | diff | annotate |
| Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | capitalized type variables; added yield as keyword | file | diff | annotate |
| Tue, 01 Jun 2010 10:30:54 +0200 | haftmann | corrected printing of characters | file | diff | annotate |