I study programming language theory. I'm additionally interested in foundations of mathematics, linguistics, and music; you can learn more about me on my website. I don't contribute much; mostly I just make drive-by edits when I notice an error.
I study programming language theory. I'm additionally interested in foundations of mathematics, linguistics, and music; you can learn more about me on my website. I don't contribute much; mostly I just make drive-by edits when I notice an error.