Imperial-MEng/WACC_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: microwacc type checker implementation #22

Merged
gk1623 merged 3 commits from microwacc-type-checker-implementation into master 2025-02-18 17:29:11 +00:00
Conversation 1 Commits 3 Files Changed 3
+297 -148
3 Commits
Author SHA1 Message Date
cyclane 27cc25cc0d feat: type-checker returns micro wacc 2025-02-17 15:26:32 +00:00
cyclane b7e442b269 refactor: introduce exit-code guard against InternalError 2025-02-14 00:35:57 +00:00
cyclane 756b42dd72 refactor: remove implicit ast from type checker 2025-02-14 00:35:57 +00:00