Agda.Utils.String
quote
addFinalNewLine
indent