Tue, 15 Nov 2011 22:13:39 +0100 | blanchet | disable debugging output | changeset | files |
Tue, 15 Nov 2011 22:13:39 +0100 | blanchet | use consts, not frees, for lambda-lifting | changeset | files |
Tue, 15 Nov 2011 22:13:39 +0100 | blanchet | started implementing lambda-lifting in Metis | changeset | files |