Idris2Doc : pipelines

Package pipelines - Namespaces