Archive for the year 2015

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