Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
