Skip to content

[ refactor ] rename constructors of Data.List.Base.InitLast and friends - #3090

Open
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:rename-InitLast
Open

[ refactor ] rename constructors of Data.List.Base.InitLast and friends#3090
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:rename-InitLast

Commits

Commits on Jul 26, 2026