User: solomonb

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

  I also like compost.

submissions | comments