Starred repositories
6
stars
written in Agda
Clear filter
An introductory course to Homotopy Type Theory
Organization and planning for the Initial Types Club
being the materials for a paper I have in mind to write about the bidirectional discipline
A formalized proof of a version of the initiality conjecture