Idris2Doc : base

Package base - Namespaces