solomonb
has 669 karma and joined 5 years ago
submissions
/
comments
/
favourites
Software engineer with interests in programming language theory and type theory.
I also like compost.