Installing SDL for Idris

[Tom-Shenton]

I am new to Idris (1.3.2), Atom and new to the Linux (Kubuntu) that I have successfully installed it on.

I am now trying to follow the tutorial in
http://docs.idris-lang.org/en/latest/st/composing.html
and
http://docs.idris-lang.org/en/latest/reference/packages.html#ref-sect-packages
and thus to implement the Draw interface described in the ‘Composing State Machines’ section. I clearly need now to implement the ‘Binding to C’ and install the sdl package. I do not understand how to complete this.

I have downloaded the files:

src, test, Makefile, README.md, sdl.ipkg

from https://github.com/edwinb/SDL-idris

My question is, which directory should I put these files in, and what step-by-step actions should I then take to complete the bindings and install the package?