Support enabling/disabling particular atoms - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

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

7 stars 2 forks source link

Support enabling/disabling particular atoms #406

Open deemp opened 1 month ago

deemp commented 1 month ago

Details

Related to #405

Subtasks

[x] Add normalizer options to disable/enable particular atoms.
[x] Add normalizer commands to print arguments for the pipeline script.
[x] Update pipeline config to use normalizer command that prints arguments.
[ ] Update docs about normalizer options.
[x] Update docs about pipeline config.