User: solomonb

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

    I also like compost.