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