Idris2Doc : parser-show

Package parser-show - Namespaces