🕯️
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
- Indiana
Earned achievements
Pull Shark
x4
Pull Shark
x4
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading