Code

Very dependent map#2373

Code

Merged

MatthewDaggitt merged 12 commits intomasteragda/agda-stdlib:masterfrom VeryDependentMapagda/agda-stdlib:VeryDependentMapCopy head branch name to clipboardJun 5, 2024

+95-5

Commits

Commits on Mar 26, 2024

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

  JacquesCarette

  committed
  a750927

  Copy full SHA for a750927

Commits on Apr 24, 2024

• Merge branch 'master' into VeryDependentMap

  JacquesCarette

  committed
  dabfa9f

  Copy full SHA for dabfa9f

• and document

  JacquesCarette

  committed
  3287bee

  Copy full SHA for 3287bee

• make imports more precise

  JacquesCarette

  committed
  829e819

  Copy full SHA for 829e819

• minimal properties of very-dependen map and zipWith. Structured to make it easy to add more.

  JacquesCarette

  committed
  7e3da8b

  Copy full SHA for 7e3da8b

• whitespace

  JacquesCarette

  committed
  e3dffb8

  Copy full SHA for e3dffb8

Commits on May 3, 2024

• Merge branch 'master' into VeryDependentMap

  JacquesCarette

  committed
  1aa3e62

  Copy full SHA for 1aa3e62

• implement new names and suggestions about using pattern-matching in the type

  JacquesCarette

  committed
  a3fce90

  Copy full SHA for a3fce90

• whitespace in CHANGELOG

  JacquesCarette

  committed
  baa1861

  Copy full SHA for baa1861

Commits on May 5, 2024

• small cleanup based on latest round of comments

  JacquesCarette

  committed
  84a4bf7

  Copy full SHA for 84a4bf7

Commits on May 16, 2024

• and fix the names in the comments too.

  JacquesCarette

  committed
  dda6607

  Copy full SHA for dda6607

Commits on Jun 2, 2024

• Merge branch 'master' into VeryDependentMap

  jamesmckinna

  authored
  181ba50

  Copy full SHA for 181ba50