name: iota
occupation: Frontend Engineer
likes:
  - Functional Programming Languages
  - Nix
  - Neovim
interests:
  - Formal Verification
  - Semantics
  - Category Theory