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
Gleb Koval
84932edb69 refactor: change typo in Unweakenable 2025-02-07 18:43:30 +00:00
Gleb Koval
9da2744cb9 refactor: comment non-trivial code in typeChecker.scala 2025-02-07 18:41:16 +00:00