Idris2Doc : just-a-monad

Package just-a-monad - Namespaces