reverse each line by agda.