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
I am interested in all things programming languages. I love Rust, OCaml, Haskell, Agda, Lean, Coq.
Looking for employment.
FP 💖 Formal Verification. he/him