git.iko.soy/Idris-dev
on 7afa310 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 expectedAdded IdrisDoc test which verifies inclusion of abstract and public namespace members runAdded IdrisDoc test which verifies inclusion of abstract and public namespace members visibility.ipkgAdded IdrisDoc test which verifies inclusion of abstract and public namespace members