Idris2Doc : filepath

Package filepath - Namespaces