GitHub repository: HomotopyTypeTheory/m-types
Primary language: Agda
Created: 2015-02-06T14:36:42Z
Description: M-types in HoTT