Skip to content

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

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

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

fix: one last knock-on?

914402c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-whitespace
succeeded Jul 30, 2026 in 7s