I'm a Math enthusiast and a CS fan. 🧪
At my job, I'm a React Typescript developer who loves types.
⚛️ Experience with: Web Dev, Design System and Web3.
🌱 Currently learning: PLT with FP langs such as Haskell, OCaml, and Rust. Type Theory is fun too.
📫 Reach me: miguelnascimento in Discord
📚 Hobbies: Math, Programming and Pen Spinning.
😄 Pronouns: He/Him.
⚡ Fun fact: *** Exception: Prelude.head: empty list