Skip to content
This repository has been archived by the owner on Jun 18, 2023. It is now read-only.

Rework variable rendering #2

Open
prescientmoon opened this issue Nov 3, 2020 · 0 comments
Open

Rework variable rendering #2

prescientmoon opened this issue Nov 3, 2020 · 0 comments
Assignees
@prescientmoon
Labels
bug Something isn't working

Comments

@prescientmoon
Copy link
Contributor

Having a lambda return a variable from an outer scope generates a weird structure.

Eg:

The expression \f a. f (\l. a) produces:

image
@prescientmoon prescientmoon added the bug Something isn't working label Nov 3, 2020
@prescientmoon prescientmoon self-assigned this Nov 3, 2020
@prescientmoon prescientmoon changed the title Rework variable renering Rework variable rendering Nov 3, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@prescientmoon prescientmoon

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@prescientmoon