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