User: solomonb

Created: 1575317518
Karma: 697
Software engineer with interests in programming language theory and type theory.
I also like compost.