Formal foundations for GADTs in Scala

In documents/ you may find slides and reports about the project.

In dotty-gadt-experiments/ you may find some code examples showing various ways to encode GADTs in dotty and examples using dotty's builtin GADT support.