Thu, 16 Dec 2010 13:54:17 +0100 | boehmes | merged | changeset | files |
Thu, 16 Dec 2010 13:34:28 +0100 | boehmes | fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope | changeset | files |
Thu, 16 Dec 2010 12:33:06 +0100 | boehmes | fixed introduction of explicit application function: bound variables always need explicit application if they are applied to some term | changeset | files |