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
gk1623 commented 2025-02-07 18:41:27 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source
No description provided.
gk1623 commented 2025-02-07 18:43:36 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

added 1 commit

  • 84932edb - refactor: change typo in Unweakenable

Compare with previous version

added 1 commit <ul><li>84932edb - refactor: change typo in Unweakenable</li></ul> [Compare with previous version](/lab2425_spring/WACC_37/-/merge_requests/20/diffs?diff_id=149364&start_sha=9da2744cb928683937e739c427971af2825c781d)
gk1623 (Migrated from gitlab.doc.ic.ac.uk) scheduled this pull request to auto merge when all checks succeed 2025-02-07 18:44:08 +00:00
gk1623 commented 2025-02-07 18:45:51 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in commit 2a4c2bc993

mentioned in commit 2a4c2bc9930510e4e90ecbf7e6d98f465ec1ad0c
gk1623 (Migrated from gitlab.doc.ic.ac.uk) merged commit 2a4c2bc993 into master 2025-02-07 18:45:51 +00:00
gk1623 (Migrated from gitlab.doc.ic.ac.uk) canceled auto merging this pull request when all checks succeed 2025-02-07 18:45:52 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
cyclane (Gleb Koval)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/WACC_37#20