idris-ffi-example
This is a collection of examples of how to use the Idris FFI.
myFirstFFI
We have a C library testlib with a function int foo(int); that takes an int,
adds 1 to the argument and returns the result. The Idris program calls foo with
42 as argument and then prints the result.
strings
We have two functions that return a char pointer. One of them will always
return a C-string while the other always returns NULL. Note that the example
doesn't work in v0.9.9.2.