I am a Functional Programming Zealot⚔️, a researcher in formal logic, but first and foremost a puzzle solver at heart.
On my account you can go through my programming journey, from my first C project to my most recent battle with Rocq, going through hardware chip design, web technologies and D-app.
Currently I am trying to implement a lambda sigma calculus a la MLTT. And I should really get into Rust, Haskell, Agda.
I'm open to collaborate on open-source projects in Rust, OCaml, and Coq.