Idris2Doc : freer

Package freer - Namespaces