idris-0.9.18: test/idrisdoc001/expected
Warning: Ignoring empty or non-existing namespace 'TestEmpty' Warning: Ignoring empty or non-existing namespace 'TestPrivate' No namespaces to generate documentation for
Warning: Ignoring empty or non-existing namespace 'TestEmpty' Warning: Ignoring empty or non-existing namespace 'TestPrivate' No namespaces to generate documentation for