Skip to content

feat(lint): unused-import via agda-unused shell-out#7

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/modest-hawking-3fd6it
Jun 19, 2026
Merged

feat(lint): unused-import via agda-unused shell-out#7
hyperpolymath merged 2 commits into
mainfrom
claude/modest-hawking-3fd6it

fix(unused): align to live agda-unused (per-file local mode, UTF-8 lo…

7feae63
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar