Back to directory
Luis Enrique Muñoz Martín
@lemunozm
Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
Madrid
View GitHub profile
113 followers
·
19 following
Contributed to 1 repository
2 commits across the projects listed in this directory.
