2 ms·
Idris and Lean have a similar advantage; once you get past the general notation, the code syntax is very smooth and easy to follow.
by ykonstant 2y ago
Idris and Lean have a similar advantage; once you get past the general notation, the code syntax is very smooth and easy to follow.
- tkz1312 2y agoTotally. ML style syntax is just so much cleaner than the curly braces / semicolon orthodoxy.