James Oswald
About
Blog
Profiles
Contact
Tag: Lean
August 6, 2024
A Basic Inductive Type Comparison: Rust, Lean, C, C++