I work on:

• khasmc: A functional language emphasising easy problem solving
• project-garden: Small projects to learn
• various other projects

I enjoy:

• compilers
• type systems
• dependent types
• HoTT/HOTT/similar type theory nonsense
• formal verification