We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
--chain
When I use rewrite with the --chain argument, the output is in TeX. However, without the --chain, the output contains old/broken format:
rewrite
$ cat bar.phi {⟦ m ↦ ⟦ x ↦ ⟦ t ↦ ⟦ Δ ⤍ 42- ⟧ ⟧.t ⟧.x ⟧} /code/tmp/eo$ eo-phi-normalizer rewrite --tex bar.phi Rule set following Nov 2024 revision [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]]
The same (complete and well formatted TeX) must printed instead.
Related to #573
The text was updated successfully, but these errors were encountered:
@deemp please, check
Sorry, something went wrong.
@yegor256, please check v2.3.0
@deemp works perfectly, thanks!
eyihluyc
No branches or pull requests
When I use
rewrite
with the--chain
argument, the output is in TeX. However, without the--chain
, the output contains old/broken format:The same (complete and well formatted TeX) must printed instead.
Related to #573
The text was updated successfully, but these errors were encountered: