solomonb

Created: 5 years ago
Karma: 630
Software engineer with interests in programming language theory and type theory.

I also like compost.