| Thu, 05 May 2011 09:43:39 +0200 | blanchet | improve suggested type system list based on evaluation | changeset | files |
| Thu, 05 May 2011 08:03:28 +0200 | blanchet | I have an intuition that it's sound to omit the first type arg of an hAPP -- and this reduces the size of monomorphized problems quite a bit | changeset | files |
| Thu, 05 May 2011 02:27:02 +0200 | blanchet | removed unsound hAPP optimization | changeset | files |