Code

[Import] Data.List.*#2625

Code

Merged

JacquesCarette merged 10 commits intoagda:masteragda/agda-stdlib:masterfrom jmougeot:import29jmougeot/agda-stdlib:import29Copy head branch name to clipboardMar 1, 2025

+62-59

Commits

Commits on Feb 27, 2025

• [Import] Data.List

  jmougeot

  committed
  f2c2c10

  Copy full SHA for f2c2c10

• fix

  jmougeot

  committed
  2001e17

  Copy full SHA for 2001e17

• fix

  jmougeot

  committed
  c82644c

  Copy full SHA for c82644c

• fix

  jmougeot

  committed
  6cea19d

  Copy full SHA for 6cea19d

• fix

  jmougeot

  committed
  ccb7593

  Copy full SHA for ccb7593

• fix

  jmougeot

  committed
  9d7a8b8

  Copy full SHA for 9d7a8b8

• fix

  jmougeot

  committed
  aa61be2

  Copy full SHA for aa61be2

Commits on Feb 28, 2025

• fix

  jmougeot

  committed
  c8c5c38

  Copy full SHA for c8c5c38

Commits on Mar 1, 2025

• Update src/Data/List/NonEmpty/Effectful.agda

  Show description for 799e09a
  jamesmckinna

  authored
  799e09a

  Copy full SHA for 799e09a

• Update src/Data/List/Relation/Binary/Disjoint/Propositional/Properties.agda

  Show description for d63c236
  jamesmckinna

  authored
  d63c236

  Copy full SHA for d63c236