A course on homotopy theory and type theory, taught jointly with Jaka Smrekar - View it on GitHub