| Wed, 20 Jul 2011 00:37:42 +0200 | blanchet | pass type arguments to lambda-lifted Frees, to account for polymorphism | changeset | files |
| Wed, 20 Jul 2011 00:37:42 +0200 | blanchet | generate slightly less type information -- this should be sound since type arguments should keep things cleanly apart | changeset | files |