1. 18
  1. 7

    I’ve been trying to learn more about dependent types and the theory behind them, and I recently discovered these lecture series on HoTT. Though they go a little over my head, I’ve found the lectures great at providing some additional background that I was missing. I thought I’d share!

    The Homotopy Type Theory book is also available, and is open source.