CAIMEO A student interested in math and computer science. $$ \text{Life} = \int_\text{birth}^{\text{death}} \text{study} \ dt $$ 🌱 Learning Programming Language Theory and Type Theory 🤔 Researching on Programming Languages Theory 📝 Regularly write notes and blogs (The Rabbit Hole) 🔭 Working on QuickCheck, Proof Assistant and Morpheus Compiler Languages and tools Interests Abstract Algebra Arch Linux and NixOS Category theory Classic Music Computer Science Minecraft Programming Language Theory Quantum physics and Quantum computing String Theory Type Theory