Idris2Doc : algdata

Package algdata - Namespaces