Idris2Doc : pretty-show

Package pretty-show - Namespaces