Thu, 20 Sep 2012 14:24:23 +1000 Scott Morrison Automated merge with https://tqft.net/hg/blob default tip
Thu, 20 Sep 2012 14:24:07 +1000 Scott Morrison adding some notes from talks
(0) -300 -100 -30 -10 -2 tip