Idris2Doc : distribution

Package distribution - Namespaces