Idris2Doc : prettier-ansi

Package prettier-ansi - Namespaces