shubham shoebum@hachyderm.io
I am interested in all things programming languages. I love Rust, OCaml, Haskell, Agda, Lean, Coq.
waiting to be laid off
FP 💖 Formal Verification. he/him
I am interested in all things programming languages. I love Rust, OCaml, Haskell, Agda, Lean, Coq.
waiting to be laid off
FP 💖 Formal Verification. he/him