solomonb
since 12/2/2019
740 karma
Software engineer with interests in programming language theory and type theory.

I also like compost.

and radio.

www.kpbj.fm www.kchungradio.org