Skip to content

[ add ] Data.List.Base.foldMap and refactor#3026

Open
jamesmckinna wants to merge 16 commits into
agda:masterfrom
jamesmckinna:issue2553-bis
Open

[ add ] Data.List.Base.foldMap and refactor#3026
jamesmckinna wants to merge 16 commits into
agda:masterfrom
jamesmckinna:issue2553-bis

Commits

Commits on Jun 20, 2026

Commits on Jun 21, 2026

Commits on Jun 22, 2026

Commits on Jul 2, 2026

Commits on Jul 9, 2026