• A Basic Inductive Type Comparison: Rust, Lean, C, C++ https://jamesoswald.dev/posts/sumtypes/ 17 comments 3/3/2025 programming