Idris2Doc : parser-json

Package parser-json - Namespaces