San Francisco, CAUSA
Hometown: Hamilton, ON
April 23, 2014
Arrows and categories.. there's functors and things too, right?
I read a few chapters of HoTT. I've also read a bunch of Haskell tutorials, but I don't know if that counts for anything.
Freelance full stack engineer interested in linear temporal logic.