UnphiMojo can't parse ξ()

[yegor256]

UnphiMojo can't parse this:

  {
    ⟦
      α1 ↦ ξ()
    ⟧
  }

I believe, it's a bug, since the expression is legal.

[yegor256]

@maxonfjvipon can you please help?

[github-actions]

@yegor256 thanks for the report, here is a feedback:

Problems

• The bug report is ambiguous, lacking in precise error details. The anticipated result of UnphiMojo parsing ξ() is not clear.
• The report fails to provide steps to replicate the issue, thereby posing a challenge for developers to comprehend and resolve the problem.
• The report omits specifying the environment or the context of the bug's occurrence. Details like the operating system, software version, and other conditions can be vital for resolving the bug.

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.
Analyzed with gpt-4

[maxonfjvipon]

@yegor256 are you sure it's legal to do Xi application? It seems meanless

[yegor256]

@maxonfjvipon it's perfectly legal in phi-calculus. You take yourself and make a copy of it, recursively.

[maxonfjvipon]

@yegor256 do we allow such behavior in EO?

[x] > y
  $ 5 > a

[yegor256]

@maxonfjvipon of course we do (well, we must)