objectionary / normalizer

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

Remove VTX and Sigma attributes #335

Closed aabounegm closed 3 months ago

aabounegm commented 3 months ago

Sigma was removed in release 0.38.0 of EO, and Vertex was removed earlier. Closes #332


PR-Codex overview

This PR focuses on restructuring and adding new functionality to the eo-phi-normalizer project.

Detailed summary

The following files were skipped due to too many changes: eo-phi-normalizer/data/0.38.0/org/eolang/switch.phi, eo-phi-normalizer/src/Language/EO/Phi/Syntax/Lex.x, eo-phi-normalizer/test/Language/EO/Rules/PhiPaperSpec.hs, eo-phi-normalizer/data/0.38.0/org/eolang/malloc.phi, eo-phi-normalizer/data/0.38.0/org/eolang/bytes.phi, eo-phi-normalizer/test/eo/phi/from-eo/as-phi.yaml, eo-phi-normalizer/src/Language/EO/Phi/Syntax/Par.y, eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs, eo-phi-normalizer/data/0.38.0/org/eolang/tuple.phi, eo-phi-normalizer/data/0.38.0/org/eolang/float.phi, eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs, eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs, eo-phi-normalizer/test/eo/phi/dataization.yaml, eo-phi-normalizer/test/eo/phi/rules/yegor.yaml, eo-phi-normalizer/data/0.38.0/org/eolang/positive-infinity.phi, eo-phi-normalizer/data/0.38.0/org/eolang/negative-infinity.phi

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}