User:Www.unwoundstack.com

I hack in Rust, Idris, C++, Lisp & Rocq. I think a lot about writing provably correct code. I write about that at https://www.unwoundstack.com.