Homotopy Type Theory empty (history)

January 19, 2019