git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/test/idrisdoc008
5 files
../ Abstract.idrAdded IdrisDoc test which verifies inclusion of abstract and public namespace members Visible.idrAdded IdrisDoc test which verifies inclusion of abstract and public namespace members expectedMake --quiet imply non-verbosity runmake the tests respect the IDRIS env variable visibility.ipkgMake --quiet imply non-verbosity