by Elvin Yung
This repo has all of my university notes, and some tooling for managing them.
I originally kept my university notes as separate repos for each term, but found that to be too annoying.
For legacy reasons, I'm keeping the old 1151notes and 1165notes repos, but adding them here as a subtree.