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

479 mismatch of names of the binary and package #494

Open deemp opened 1 month ago

deemp commented 1 month ago

PR-Codex overview

This PR renames normalizer to eo-phi-normalizer, updating commands, file paths, and configurations accordingly.

Detailed summary

The following files were skipped due to too many changes: proposals/000-template.md, site/docs/src/installation.md, site/docs/src/pipeline.md, site/docs/src/SUMMARY.md, site/docs/src/introduction.md, scripts/pipeline.sh, proposals/README.md, scripts/lib.sh, site/docs/src/normalizer/transform.md, site/docs/src/normalizer/dataize.md

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