4 ms·
The goal of Lean is to be a programming language used to prove math theorems. Looking at a FizzBuzz implementation and balking at the complexity is utterly miss
by uxp8u61q 3y ago
The goal of Lean is to be a programming language used to prove math theorems. Looking at a FizzBuzz implementation and balking at the complexity is utterly missing the point.