Links for homotopy-type-theory-lecture-notes-cmu-15-819