Skip to content

Latest commit

 

History

History
10 lines (7 loc) · 662 Bytes

README.md

File metadata and controls

10 lines (7 loc) · 662 Bytes

Implementation of OML Bundle Closure in Scala3

The goals of this Scala3 implementation are:

  • convey a clearer understanding of the algorithm in terms of a simple graph library API sufficient to encode the algorithm;
  • add pre/post conditions for verification as a precursor to formalizing the algorithm.

Note: this uses sbt-1.5.0-RC1 and Scala 3.0.0-RC1

On Windows 10, to avoid getting a null folder, set an environment variable: COURSIER_CACHE=.coursier. This will store the Coursier cache in a project local folder: .coursier.