solomonb
Joined 6 years ago, with 691 karma
Submissions
Comments
Favorites
Follow via RSS
Software engineer with interests in programming language theory and type theory.
I also like compost.