this is a place for eventually, casually [sic] consistent thoughts i have about various things.
i work as a functional programmer and enjoy thinking about expressive type systems, programming language design, and the development of compilers and theorem provers.
you might know me by the handle @evertedsphere (or, previously, @mrkgnao).