Idris2Doc : hashable-derive

Package hashable-derive - Namespaces