L2. A minimalist type-inferred programming language with procedural macro support
Arithmetic. A Programmatic Approach to Arithmetic
