Idris2Doc : cats-and-arrows

Package cats-and-arrows - Namespaces