From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016
Primary LanguageAgda
Homotopy Type Theory