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

The `--single` option is confusing #485

Open yegor256 opened 1 month ago

yegor256 commented 1 month ago

I was surprised to see that the output of the transform command is not a transformed expression, but two expressions with some supplementary information around. Only after some research I found out that I have to use the --single option in order to get a proper output. I suggest making --single option turned ON by default. Only if the user need more "verbose" output, we print both expressions.

yegor256 commented 1 month ago

@deemp please, check this one