Software engineer with interests in programming language theory and type theory.
I also like compost.
and radio.
www.kpbj.fm www.kchungradio.org