Code

Add Haskell.Data.List#396

Code

Open

HeinrichApfelmus wants to merge 4 commits intoagda:masteragda/agda2hs:masterfrom HeinrichApfelmus:HeinrichApfelmus/data-listHeinrichApfelmus/agda2hs:HeinrichApfelmus/data-listCopy head branch name to clipboard

+112

Commits

Commits on Jan 24, 2025

• Add Haskell.Data.Ord

  HeinrichApfelmus

  committed
  b4d12b2

  Copy full SHA for b4d12b2

• Add Haskell.Data.List

  HeinrichApfelmus

  committed
  6ded3d1

  Copy full SHA for 6ded3d1

Commits on Jan 29, 2025

• Add delete, nub, sort to Data.List

  HeinrichApfelmus

  committed
  7bef1a5

  Copy full SHA for 7bef1a5

• Prove properties about delete and nub

  HeinrichApfelmus

  committed
  2cf0f3d

  Copy full SHA for 2cf0f3d