git.iko.soy/Idris-dev
on v0.9.15.1 help sign in
Idris-dev/rts/arduino
1 file
../ idris_main.cAdded rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.