lemunozm
Follow
Passionate about functional programming and dependent types.
Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
-
centrifuge.io
- Madrid
- in/lemunozm
- https://www.buymeacoffee.com/lemunozm
lemunozm has sponsored 1 organization or maintainer in the past