Idris2Doc : indexed

Package indexed - Namespaces