Array.h

#include "idris_rts.h"

VAL idris_makeArray(int len);

VAL idris_indexArray(int ix, VAL arr);

void idris_setAtArray(int ix, VAL elem, VAL arr);