Wed, 23 Sep 2009 11:05:28 +0100 | paulson | Correct chasing of type variable instantiations during type unification. | changeset | files |
Wed, 23 Sep 2009 11:33:52 +0200 | haftmann | hide newly introduced constants | changeset | files |
Tue, 22 Sep 2009 11:26:46 +0200 | Philipp Meyer | used standard fold function and type aliases | changeset | files |