Descrição
Programas Idris 2 podem ler arquivos de configuração TOML por uma biblioteca de parser dedicada.
É útil para desenvolvedores que criam ferramentas que precisam de configurações estruturadas de projeto ou aplicação. Parsers ainda devem lidar com configuração malformada ou não confiável com erros claros.