Idris2Doc : dependent-map

Package dependent-map - Namespaces