git.iko.soy/Idris-dev
on 239c8ca 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 runAdded IdrisDoc test which verifies inclusion of abstract and public namespace members visibility.ipkgMake --quiet imply non-verbosity