Idris2Doc : Data.Strings

Data.Strings