Descrição
Projetos Idris 2 podem reutilizar uma coleção de parsers totais para processar entradas estruturadas.
É útil para desenvolvedores que querem código de parser com garantias fortes em nível de tipos. Bibliotecas de parser ainda precisam de validação para entrada não confiável, erros e uso de recursos.