Research platform for new language concepts and compiler technologies for Scala. - GitHub - obkson/dotty at dotty-records