Repository navigation

feat(abi): Tier-2 Idris bindings + retire legacy Foreign + close L10 transitive cycle - #52

Merged

hyperpolymath merged 1 commit into

mainfrom

claude/abi-tier2-and-l10-trans-cycle

Jun 5, 2026

Merged

feat(abi): Tier-2 Idris bindings + retire legacy Foreign + close L10 transitive cycle#52
hyperpolymath merged 1 commit into
mainfrom
claude/abi-tier2-and-l10-trans-cycle

Commits on Jun 2, 2026
- feat(abi): add Tier-2 Idris bindings + retire legacy Foreign + close L10 transitive cycle
  
  hyperpolymath
  and
  claude
  committed
  e742e2a