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

more

https://github.com/joaomilho/awesome-idris#projects