Tag: Programming
- October 14, 2026 def∇: An inductive∇ Macro
- October 8, 2026 def∇: A Drop In def∇
- October 7, 2026 def∇: An APL-Style Self Reference Macro for Lean4
- November 8, 2025 Lean4 Macros for Implementing Custom Quantifiers
- 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)