Mon, 20 Dec 2010 08:17:23 +0100 | boehmes | perform monomorphization during normalization: schematic numerals might be monomorphized into built-in numerals and then numeral normalization is required | changeset | files |
Mon, 20 Dec 2010 08:55:36 +0100 | haftmann | merge | changeset | files |
Fri, 17 Dec 2010 22:00:54 +0100 | haftmann | more convenient order of type variables | changeset | files |