objectionary / normalizer

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

390 fix normalized phi to normalized eo conversion in the pipeline script #396

Closed deemp closed 4 months ago

deemp commented 4 months ago

Closes #390.

Also fixes some tests and improves a few things:


PR-Codex overview

This PR updates dependencies, adds command options, modifies file paths, and refactors code for better readability and functionality.

Detailed summary

The following files were skipped due to too many changes: eo-phi-normalizer/src/Language/EO/Phi/Rules/Fast.hs, package-lock.json, site/docs/src/normalizer/transform.md

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