idris-0.1.5: lib/system.idr

-- Interaction with the outside world, operating system, etc.

%include "system_glue.h"
%lib "system_glue.o"