| Thu, 11 Jun 2009 08:02:27 +0200 | haftmann | explicit instantiation yields considerable speedup | changeset | files |
| Wed, 10 Jun 2009 16:27:24 +0200 | haftmann | separate directory for datatype package | changeset | files |
| Wed, 10 Jun 2009 16:22:54 +0200 | haftmann | tuned whitespace | changeset | files |
| Wed, 10 Jun 2009 16:10:31 +0200 | haftmann | correct check for instantiatability | changeset | files |
| Wed, 10 Jun 2009 16:10:30 +0200 | haftmann | tuned order | changeset | files |
| Wed, 10 Jun 2009 15:05:38 +0200 | haftmann | merged | changeset | files |
| Wed, 10 Jun 2009 15:05:19 +0200 | haftmann | separate directory for datatype package | changeset | files |
| Wed, 10 Jun 2009 15:04:33 +0200 | haftmann | separate directory for datatype package | changeset | files |
| Wed, 10 Jun 2009 15:04:32 +0200 | haftmann | revised interpretation combinator for datatype constructions | changeset | files |
| Wed, 10 Jun 2009 15:04:31 +0200 | haftmann | tuned header | changeset | files |
| Wed, 10 Jun 2009 10:09:30 +0200 | haftmann | merged | changeset | files |
| Tue, 09 Jun 2009 23:02:01 +0200 | haftmann | merged | changeset | files |
| Tue, 09 Jun 2009 22:59:55 +0200 | haftmann | tuned make/map/merge combinators | changeset | files |
| Tue, 09 Jun 2009 22:59:55 +0200 | haftmann | corrected printing of record labels | changeset | files |
| Tue, 09 Jun 2009 22:59:54 +0200 | haftmann | tuned author list | changeset | files |
| Tue, 09 Jun 2009 22:59:54 +0200 | haftmann | tuned whitespace | changeset | files |