Idris2Doc : streams

Package streams - Namespaces