Idris2Doc : regex

Package regex - Namespaces