solomonb

Karma: 669

Joined: 超过 5 年前

ID: solomonb

About

Software engineer with interests in programming language theory and type theory.

I also like compost.

Visit submission history to see stories and comments by solomonb.