Hi, I'm a 21yo cute girl that likes to program some crazy or useless tools in pure functional programming languages.
- โ๏ธ I love magic, like in the movies or games, so I try to do a lot of things related to that.
- ๐๏ธ Sometimes i try to draw.
- ๐ฆ Rust I love this language, It's the only language that performs well and has a lot of functional constructs.
- 4๏ธโฃ Lean4 Useful to make your programs stronger with the use of dependent types
- Discord: algebraic.sofia
- Email: [email protected]
- Smoke signal: ๐ฌ๏ธโ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธโ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธโ๏ธโ๏ธโ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธโ๏ธ๐ฌ๏ธ๐ฌ๏ธ๐ฌ๏ธ๐ฌ๏ธ๐ฌ๏ธโ๏ธ