Module constellation

The library as a sky: every star is a module, sized by how many other modules import it; every line is an import. Colour marks the top-level tree. Drag a star, scroll to zoom, hover to trace its neighbourhood, and click to open the module.

Overture Setoid Classical Order Examples Exercises Demos Legacy

The brightest stars — Overture, Setoid.Algebras.Basic, Overture.Terms — are the foundations the rest of the library is built upon.