Homotopy Type Theory for Dummies (via janus) — discussion

#formalmethods #plt