Load Agda Input by default.