Agda.Utils.String

quote

showIndex

addFinalNewLine

indent

data Str

showThousandSep