Hi there 👋 🌱 I’m currently learning Haskell and Agda, trying to be practical with Scala and Rust. 📫 How to reach me: comcx@outlook.com. ⚡ Fun fact: From falsehood follows whatever you want.