├── LICENSE.txt ├── README.md ├── myFirstFFI ├── Makefile ├── myFirstFFI.idr ├── testlib.c └── testlib.h └── strings ├── Makefile ├── bad_strings.idr ├── strings.idr ├── testlib.c └── testlib.h /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/README.md -------------------------------------------------------------------------------- /myFirstFFI/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/myFirstFFI/Makefile -------------------------------------------------------------------------------- /myFirstFFI/myFirstFFI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/myFirstFFI/myFirstFFI.idr -------------------------------------------------------------------------------- /myFirstFFI/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/myFirstFFI/testlib.c -------------------------------------------------------------------------------- /myFirstFFI/testlib.h: -------------------------------------------------------------------------------- 1 | int foo(int); 2 | -------------------------------------------------------------------------------- /strings/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/strings/Makefile -------------------------------------------------------------------------------- /strings/bad_strings.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/strings/bad_strings.idr -------------------------------------------------------------------------------- /strings/strings.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/strings/strings.idr -------------------------------------------------------------------------------- /strings/testlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/strings/testlib.c -------------------------------------------------------------------------------- /strings/testlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-industry/idris-ffi-example/HEAD/strings/testlib.h --------------------------------------------------------------------------------