DOT is just the name of the calculus used to prove the core of the language (and Dotty the name of the new compiler). It won't appear often in the literature me

DOT is just the name of the calculus used to prove the core of the language (and Dotty the name of the new compiler). It won't appear often in the literature meant for the general public so I don't think there will be much confusion.