[OtomotO]

Dotty? Was it still the name later?

http://dotty.epfl.ch/

[kaba0]

I believe it is just called Scala3 now, dotty was actually a reimplemented compiler for that new version, and that’s why it used to be referred to as such.