Idris2Doc : literal

Package literal - Namespaces