Agda.Utils.Unicode

isUnicodeId

convertLineEndings