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