Giters

xavierzwirtz / idris2-ffigen

FFI generator for c->idris2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2-ffigen

Idris2 binding generator. See idris2-taffy for example usage.

About

FFI generator for c->idris2

License:MIT License

Languages

Language:Idris 88.7%Language:Nix 11.3%