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

SubExpr doesn't work for let clauses with params #150

Closed
ice1000 opened this issue Mar 8, 2020 · 2 comments · Fixed by JetBrains/Arend#166 or JetBrains/Arend#167
Closed

SubExpr doesn't work for let clauses with params #150

ice1000 opened this issue Mar 8, 2020 · 2 comments · Fixed by JetBrains/Arend#166 or JetBrains/Arend#167
Assignees
Milestone

Comments

@ice1000
Copy link
Collaborator

@ice1000 ice1000 commented Mar 8, 2020

image

@ice1000
Copy link
Collaborator Author

@ice1000 ice1000 commented Mar 8, 2020

Not yet -- there's another problem

@ice1000
Copy link
Collaborator Author

@ice1000 ice1000 commented Mar 8, 2020

Closed by 0670e308584da5e05994accbe9df953794bbfc59

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant