title: Is there a relationship between the Scala Dotty Compiler and the Dependent Objects project by Nada Amin?
body: <p>We've seen <a href="https://groups.google.com/forum/#!topic/scala-internals/6HL6lVLI3bQ" rel="nofollow">Martin Odersky announce</a> <a href="https://github.com/lampepfl/dotty" rel="nofollow">the Dotty Compiler</a> - a possible future compiler for Scala without all the baggage. </p>
  
  <p>We've also seen Nada Amin release the <a href="https://github.com/namin/dot" rel="nofollow">Dependent Object Types Calculus</a> (Dot Calculus) which <a href="https://github.com/namin/dot/tree/master/src/scala" rel="nofollow">has been implemented in Scala</a>. </p>
  
  <p>My question is: <strong>Is there a relationship between the Scala Dotty Compiler and the Dependent Objects project by Nada Amin?</strong></p>