Skip to content

NicolasRouquette/scala3-bundle-closure

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

OML Bundle Closure implementation in Scala3

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages