Please find simple examples of the library in action in the examples.idr:
There you can see all the functions called e_ give a type error for some kind of unsafe behaviour with arrays.
The code which is executed by C is in the smallc.c file
I am now developing polymorphic Arrays + Structs in the linearLibPoly2.idr file