James Oswald
About
Blog
Profiles
Contact
Tag: Programming
August 6, 2024
A Basic Inductive Type Comparison: Rust, Lean, C, C++
June 24, 2024
Embedding, Jai, and Joy (Jai Part 2)
June 23, 2024
Simplicity, Jai, and Joy (Jai Part 1)