☄️ About Me
Hi, I'm a 20yo that likes to program some crazy or useless tools in pure functional programming languages. Currently, I am trying to get a job with some of the languages that i use.
💌 Things i like
⚗️ I love magic, like in the movies or games, so I try to do a lot of things related to that.🎵 Mainly J-Pop like Gesunokiwamiotome and some other bands like Polyphia.- 🖌️ Sometimes i try to draw.
🤌 Languages that i use
🐉 Idris: Nearly unlimited fun with types and values. But still without a package manager and packages, so sometimes it sucks to make everything from scratch.- 🐉 Haskell: Limited fun but with a cool ecosystem.
- 😐 Javascript: It's useful