Agda.Unused.Parse
Description
Parsers for roots.
parseConfig :: Text -> Either Text Roots Source #
Parse configuration, producing either an error or a collection of roots.