Directory listing for idris-1.0 source tarball

idris-1.0/test/basic015/