git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/ffi007
5 files
../ expected.outRename expected, input and run ffi007.cFix handling of multiple value functions as C callbacks ffi007.hPrefix for pasting in identifiers in C FFI ffi007.idrPrefix for pasting in identifiers in C FFI run.shRename expected, input and run