Idris2Doc : cozippable

Package cozippable - Namespaces