shubham :rust: 🐫 🦥🐢 shoebum@hachyderm.io

I am interested in all things programming languages. I love Rust, OCaml, Haskell, Agda, Lean, Coq.

Looking for employment.

FP 💖 Formal Verification. he/him