Directory listing for idris-1.0 source tarball

idris-1.0/libs/prelude/