change to agda mode