Idris2Doc : weaker-traversals

Package weaker-traversals - Namespaces