Agda.Utils.Unicode

Documentation

isUnicodeId :: Char -> Bool

convertLineEndings :: String -> String

Converts many character sequences which may be interpreted as line or paragraph separators into '\n'.