solomonb
- Karma
- 1,295
- Created
- 6 years ago
About
Software engineer with interests in programming language theory and type theory.I also like compost.
and radio.
blog.cofree.coffee www.kpbj.fm www.kchungradio.org
ssbothwell_at_gmail_dot_com
Recent Submissions
- 1. ▲ Programming Language Foundations in Agda (plfa.github.io)