- Software Developer. 🚀
- Passionate about functional programming, software engineering, math, AI, and computer science.
Interests:
- Functional programming
- Category theory | Type theory | Formal verification
- AI | Machine learning
Connect with me:
Interests:
Connect with me:
This is a simple TO-DO application built as a proof of concept for building HTML pattern SPA over Web sockets using Haskell.
HTML