New posts in Dotty

What exactly is Dotty?