Optics 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.