Idris2Doc : parser

Package parser - Namespaces