3 ms·
I also wrote a guide: https://agentultra.github.io/lean-4-hackers/ https://agentultra.github.io/lean-4-hackers/
by agentultra 4y ago
I also wrote a guide: https://agentultra.github.io/lean-4-hackers/ https://agentultra.github.io/lean-4-hackers/
- still_grokking 4y agoLEAN's syntax looks really great. I wish Scala could take some inspiration. Scala's syntax is anyway quite similar already, but would need proper Unicode support and some other "tuning" like the `:=` and the `let monadic ← effect` syntax, imho.