Idris2Doc : fix-whitespace

Package fix-whitespace - Namespaces