add some rules to InformalNormalizer#215
Merged
imani merged 7 commits intoroshan-research:masterfrom riasati:developmentMar 29, 2022
+62-8
Commits
Commits on Feb 19, 2022
Commits on Mar 8, 2022
Commits on Mar 9, 2022
Commits on Mar 10, 2022
Commits on Mar 11, 2022
Commits on Mar 15, 2022
- committed