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

refactor: comment non-trivial code in typeChecker.scala #20

Merged
gk1623 merged 2 commits from comment-type-checker into master 2025-02-07 18:45:51 +00:00
Conversation 2 Commits 2 Files Changed 1
+63 -8
2 Commits
Author SHA1 Message Date
cyclane 84932edb69 refactor: change typo in Unweakenable 2025-02-07 18:43:30 +00:00
cyclane 9da2744cb9 refactor: comment non-trivial code in typeChecker.scala 2025-02-07 18:41:16 +00:00