Directory listing for idris-1.3.2 source tarball

idris-1.3.2/test/idrisdoc006/A/fully/Qualified/