Should lift as far as needed and locally desugar to a first-class reference. Should not capture any of the environment.
Moved to github issue #6.
Status: NEW → RESOLVED
Last Resolved: 9 years ago
Resolution: --- → INCOMPLETE
You need to log in before you can comment on or make changes to this bug.