Skip to content
New issue

[S2] Normalizer for ϕ-calculus (Yegor's version)

Closed Feb 25, 2024 100% complete
  • Implement a version of normalizer that supports user-defined rules and has Yegor's rules implemented as user-defined. The ruleset should match the operational semantics of the EO compiler or specify why it's difficult/impossible to do so.
  • Set up pipeline with the EO compiler #54
  • Implement a version of normalizer that supports user-defined rules and has Yegor's rules implemented as user-defined. The ruleset should match the operational semantics of the EO compiler or specify why it's difficult/impossible to do so.
  • Set up pipeline with the EO compiler #54

This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.