Changes between Version 17 and Version 18 of Past/2017


Ignore:
Timestamp:
Mar 11, 2018, 8:25:19 AM (6 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2017

    v17 v18  
    6161* Clinton Mead: Everything’s a functor. Everything is good when you’re a category.
    6262
     63=== 100: 22nd November ===
     64
     65* Ben Lippmeier: Cubical Type Theory
     66* 100th Meeting Party at Pool Club
    6367
    6468