ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%)#48

hyperpolymath merged 1 commit into

mainhyperpolymath/arghda-core:mainfrom

claude/arghda-roadmap-planning-p5mu93hyperpolymath/arghda-core:claude/arghda-roadmap-planning-p5mu93Copy head branch name to clipboard