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