Adding Gears in your own Scala Project

Gears can be added to your own project by adding the following dependency, by your preferred build tool:

• With sbt:

  libraryDependencies += "ch.epfl.lamp" %%% "gears" % "0.2.0",
  

• With mill:

  def ivyDeps = Agg(
    // ... other dependencies
    ivy"ch.epfl.lamp::gears::0.2.0"
  )
  

• With scala-cli:

  //> using dep "ch.epfl.lamp::gears::0.2.0"