Skip to content

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

feat(abi): add Tier-2 Idris bindings + retire legacy Foreign + close …

e742e2a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar