Skip to content

build(abi/ffi): wire the Idris2 ABI + Zig FFI to compile (first time)#79

Merged
hyperpolymath merged 2 commits into
mainfrom
wire-abi-ffi-build
Jul 7, 2026
Merged

build(abi/ffi): wire the Idris2 ABI + Zig FFI to compile (first time)#79
hyperpolymath merged 2 commits into
mainfrom
wire-abi-ffi-build

Commits

Commits on Jul 7, 2026