Support printing rules in LaTeX

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Support printing rules in LaTeX #471

Open deemp opened 1 month ago

deemp commented 1 month 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

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

deemp commented 1 month ago

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

yegor256 commented 1 month 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.