solomonb

...joined 6 years ago, and has 667 karma

submissions / comments / favourites

Software engineer with interests in programming language theory and type theory.

I also like compost.