Tag: Programming
- February 2, 2025 Emulating Rust's Result and ? in Jai with Metaprogramming
- 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)