dwestheide / scala-3-subtyping

Examples from my talk "The trouble with subtyping: An introduction to type bounds and variance"

sbt project compiled with Dotty

Usage

This is a normal sbt project, you can compile code with sbt compile and run it with sbt run, sbt console will start a Dotty REPL.

For more information on the sbt-dotty plugin, see the dotty-example-project.