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

fix: tidy-up knock-ons, plus narrow `import`s

96a1a85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
init
succeeded Jul 31, 2026 in 2m 59s