Skip to content

Fix v2.1-rc1 by reverting (some) changes to Data.List.*#2423

Merged
MatthewDaggitt merged 1 commit into
agda:masterfrom
jamesmckinna:repair-v2.1-rc1
Jul 5, 2024
Merged

Fix v2.1-rc1 by reverting (some) changes to Data.List.*#2423
MatthewDaggitt merged 1 commit into
agda:masterfrom
jamesmckinna:repair-v2.1-rc1

Revert "Improve `Data.List.Base` (fix #2359; deprecate use of `with` …

0c50c2f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs