Very dependent map#2373

Merged

MatthewDaggitt merged 12 commits intomasterfrom

VeryDependentMap

Jun 5, 2024

Commits on Mar 26, 2024

add some 'very dependent' maps to Data.Product. More documentation to come later.
JacquesCarette
committed

Commits on May 3, 2024

Commits on May 5, 2024

small cleanup based on latest round of comments
JacquesCarette
committed

Commits on May 16, 2024

and fix the names in the comments too.
JacquesCarette
committed

Commits on Jun 2, 2024

Merge branch 'master' into VeryDependentMap
jamesmckinna
authored