Archive for the year 2015

1. Je suis Charlie - January 9, 2015 (Friday)
2. Homotopy type theory at IITK - January 3, 2015 (Saturday)