search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Rename the command `transform` to `rewrite` #169

Open deemp opened 6 months ago

deemp commented 6 months ago

Subtasks

RoukayaZaki commented 4 months ago

can you elaborate more? do you want it renamed in all files and all transform functions related to it?