Idris2Doc : lens

Package lens - Namespaces