Support printing rules in LaTeX

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

https://www.objectionary.com/eo-phi-normalizer/

MIT License

7 stars 2 forks source link

Support printing rules in LaTeX #471

Closed deemp closed 3 days ago

deemp commented 2 months ago

Details

We want to compare rules in the phi-paper and rules in the normalizer repo (yegor.yaml).

Acceptance criteria

Given the rules are in the yegor.yaml file, when I run normalizer print-rules --tex eo-phi-normalizer/test/eo/phi/rules/yegor.yaml, then the normalizer prints the rules in LaTeX format.

Subtasks

[x] Add the command print-rules with the --tex option
[x] Print LaTeX for this command with this option

deemp commented 2 months ago

@yegor256, please provide the LaTeX output for a rule in yegor.yaml as an example.

yegor256 commented 2 months ago

@deemp just put every rule in to a new line, listing 1) the pattern, 2) the replacement, 3) all conditions. When this is renderable, please, show. I will suggest improvements, if any.