April 12th, 2016

beartato phd

(no subject)

Got a start on hacking up the categorification of A&B's Theorem 3 in Agda. Always a pleasure to have an excuse to do a little dependently typed programming.