User: solomonb

• Created: 2108 days ago
• Karma: 701
• Software engineer with interests in programming language theory and type theory.

  I also like compost.

submissions | comments