git.iko.soy/Idris-dev
on bd8ea0a help sign in
Idris-dev/test/ffi009
6 files
../ Bad.idrAdded test for incorrect FFI C usage. Good.idrAdded test for incorrect FFI C usage. expectedAdded test for incorrect FFI C usage. ffi009.cAdded test for incorrect FFI C usage. ffi009.hAdded test for incorrect FFI C usage. runAdded test for incorrect FFI C usage.