Start writing a main in idris, maybe