Encoding generalizations#110
Merged
goodmami merged 8 commits intogoodmami:main from BramVanroy:windows-compatSep 1, 2022
+18-15
Commits
Commits on Aug 30, 2022
- authored andBramVanroycommittedBramVanroy
- authored andBramVanroycommittedBramVanroy
- authored andBramVanroycommittedBramVanroy
- authored andBramVanroycommittedBramVanroy
Commits on Aug 31, 2022
- authored andBram VanroycommittedBram Vanroy
- authored andBram VanroycommittedBram Vanroy
- authored andBram VanroycommittedBram Vanroy
Commits on Sep 1, 2022
- authored andBram VanroycommittedBram Vanroy