Hometown: Oakland, CA
February 21, 2013
Not very. I grok so-called Monads in Haskell, and have heard and read this and that regarding category theory, but nothing serious.
Decently. I've read TAPL, for what that's worth.
Just a hobbyist Haskeller interested in Category Theory as it relates to type theory and proof theory.