Directory listing for idris-1.3.2 source tarball

idris-1.3.2/libs/contrib/Data/String/