Idris2Doc : i-hate-parens

Package i-hate-parens - Namespaces