News
Newest
Ask
Show
Jobs
Open on GitHub
User: solomonb
Created:
1609 days ago
Karma:
523
Software engineer with interests in programming language theory and type theory.
I also like compost.
submissions
|
comments