LEAN'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 suppo

LEAN'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.