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 |