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.

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

Substitute normalized expression #135

valis opened this issue Feb 29, 2020 · 0 comments · Fixed by #137

Substitute normalized expression #135

valis opened this issue Feb 29, 2020 · 0 comments · Fixed by #137


Copy link

valis commented Feb 29, 2020

Implement an action that normalizes the selected expression to WHNF and substitutes the result in place of the original expression.

@valis valis added this to the 1.3 milestone Feb 29, 2020
@ice1000 ice1000 self-assigned this Mar 1, 2020
@ice1000 ice1000 mentioned this issue Mar 1, 2020
@valis valis closed this as completed in #137 Mar 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

Successfully merging a pull request may close this issue.

2 participants