Basic Idris stuff
Basic infrastructure