[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