Skip to content

[ refactor ] make Data.List.Base.[_] a pattern synonym - #3095

Open
jamesmckinna wants to merge 5 commits into
agda:masterfrom
jamesmckinna:singleton-pattern
Open

[ refactor ] make Data.List.Base.[_] a pattern synonym#3095
jamesmckinna wants to merge 5 commits into
agda:masterfrom
jamesmckinna:singleton-pattern

Commits

Commits on Jul 30, 2026