FFI generator for c->idris2
Primary LanguageIdrisMIT LicenseMIT
Idris2 binding generator. See idris2-taffy for example usage.