On Tech, Math, Teaching
Publication in the Journal of Functional Programming, with my co-authors Sam Lindley, Conor McBride, and Craig McLaughlin
