Description
Idris 2 programs can read TOML configuration files through a dedicated parser library.
It is useful for developers building tools that need structured project or application settings. Parsers should still handle malformed or untrusted configuration with clear errors.