447 run tests on all rule sets - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

447 run tests on all rule sets #465

Open deemp opened 1 month ago

deemp commented 1 month ago

closes #447

PR-Codex overview

This PR introduces new rules and tests for Language.EO.Phi focusing on PhiPaperSpec.hs and DataizeSpec.hs.

Detailed summary

Added QuasiQuotes extension to both files
Imported PyF module for string formatting
Added fastYegorInsideOutAsRule to rules in both files
Refactored test setup and added new test functions

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