Idris2Doc : dot-parse

Package dot-parse - Namespaces