hi, i'm swann.

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).


most of my longer-form writing appears on this website.

recent articles