Idris2Doc : pack

Package pack - Namespaces