Directory listing for idris-0.9.12 source tarball

idris-0.9.12/test/reg036/