Nice to meet you! I am a software developer with interest in type theory, programming languages, and proof assistants
- Take a look at
what I code and
what I write
- See the
movies,
books, and
music I'm into
- Follow me on
Twitter or
Instagram