Skip to content

docs: state the ABI=Idris2 / FFI=Zig baseline explicitly#52

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/abi-ffi-adapter-policy
Jul 17, 2026
Merged

docs: state the ABI=Idris2 / FFI=Zig baseline explicitly#52
hyperpolymath merged 1 commit into
mainfrom
claude/abi-ffi-adapter-policy

docs: state the ABI=Idris2 / FFI=Zig baseline explicitly

2309d2e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar