Homotopy Type Theory
Agda (history)

September 30, 2019

August 25, 2018

September 9, 2016

November 16, 2014

November 13, 2014

May 9, 2014

March 17, 2014