Probably the healthiest thing is if he just deletes the project.
107 karma · joined December 31, 2022
For example, 3110 -> 4110 -> 6110. Then you can just search some compiler courses like CMU's or just follow plai.org.
https://cs3110.github.io/textbook/cover.html
https://www.cs.cornell.edu/courses/cs4110/2020fa/
https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.ht...