Homotopy Type Theory
higher inductive type (Rev #5)

Revision on June 25, 2018 at 11:47:32 by Bas Spitters. See the history of this page for a list of all contributions to it.