packages feed

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