User : solomonb

• Created: 1575317518
• Karma: 669
• Software engineer with interests in programming language theory and type theory.

  I also like compost.

submissions | comments