@@ -115,6 +115,24 @@ For C, this is:
115 FFI_C : FFI
115 FFI_C : FFI
116 FFI_C = MkFFI C_Types String String
116 FFI_C = MkFFI C_Types String String
121+This is the example of linking C code.
123+.. code-block:: idris
124+ %include C "mylib.h"
129+.. code-block:: shell
130+ DEFAULT: mylib.o main.idr
131+ idris main.idr -o executableFile
134+ rm -f executableFile mylib.o main.ibc
118Foreign calls
136Foreign calls
119=============
137=============