About
I am a mathematician and computer scientist, among other things. My academic interests include programming languages, category theory, type theory, and proof assistants.
Links
Find me on:
- GitHub
- ORCiD – but find my Master’s thesis here.
- itch.io – see my games here.
- CurseForge