Tutorial for Scala programmers

Stream: lean4

[Juan Pablo Romero]

Hi, I just updated a tutorial I wrote last year targeting Scala programmers, now featuring Lean 4:

https://typista.org/lean-for-scala-programmers/

[James Gallicchio]

I'm really surprised by how similar Lean 4 and Scala 3's syntax is! Sending this to my friends that know scala, really useful tutorial :)

[Juan Pablo Romero]

Thanks!