Using gdb
make start gdb in Emacs
file gui.o break myMult file jacekffi
run the Gud command Run
Package Descriptions
http://docs.idris-lang.org/en/latest/reference/packages.html#package-descriptions
Makefile
http://docs.idris-lang.org/en/latest/reference/packages.html#binding-to-c
windows compilation make command
/msys64/usr/bin/make.exe
C callbacks
http://docs.idris-lang.org/en/latest/reference/ffi.html#c-callbacks
new compilation
make clean make run
Interesting projects
https://github.com/puffnfresh/iridium