User: solomonb

Created: 12/2/2019, 8:11:58 PM

Karma: 656

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

I also like compost.

submissionscommentsfavorites