solomonb
...joined 4 years ago, and has 523 karma
submissions / comments / favourites
Software engineer with interests in programming language theory and type theory.
I also like compost.
...joined 4 years ago, and has 523 karma
submissions / comments / favourites
Software engineer with interests in programming language theory and type theory.
I also like compost.