Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Globals/Locals and their relation to Church Rosser #374

Open
yossigil opened this issue Jun 12, 2021 · 2 comments
Open

Globals/Locals and their relation to Church Rosser #374

yossigil opened this issue Jun 12, 2021 · 2 comments
Assignees
@yossigil

Comments

@yossigil
Copy link
Collaborator

Last section to book
@yossigil yossigil self-assigned this Jun 15, 2021
@yossigil
Copy link
Collaborator Author

Duplicate of #452.

@yossigil yossigil mentioned this issue Aug 23, 2021
Open
@yossigil yossigil reopened this Aug 23, 2021
@yossigil
Copy link
Collaborator Author

Our eval is only correct for expressions in which evaluation order does not matter. I.e., expressions that do not use, directly or indirectly, the set function.

Perhaps rewrite the implementation book without the set thingy; specifically, do not support set within eval! This is the time to do CR.

@yossigil yossigil changed the title Church Rosser Globals/Locals and their relation to Church Rosser Aug 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yossigil yossigil

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yossigil