User: solomonb

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

  I also like compost.

submissions | comments