Skip to content

feat(idris-dependents): read-only audit for external Idris2 dependents - #628

Merged
hyperpolymath merged 7 commits into
mainfrom
claude/idris-dependents-audit
Oct 27, 2026
Merged

hyperpolymath merged 7 commits into
mainfrom
claude/idris-dependents-audit

test(idris-dependents): expand parser, scan edge case, and offline CL…

e1585a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar