-
Notifications
You must be signed in to change notification settings - Fork 127
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
UnphiMojo
can't parse ξ()
#3347
Comments
@maxonfjvipon can you please help? |
@yegor256 thanks for the report, here is a feedback: Problems
I would recommend including clear, step-by-step instructions to reproduce the issue in the bug report. Please fix the bug report in order it to get resolved faster. |
@yegor256 are you sure it's legal to do Xi application? It seems meanless |
@maxonfjvipon it's perfectly legal in phi-calculus. You take yourself and make a copy of it, recursively. |
@yegor256 do we allow such behavior in EO?
|
@maxonfjvipon of course we do (well, we must) |
UnphiMojo
can't parse this:I believe, it's a bug, since the expression is legal.
The text was updated successfully, but these errors were encountered: