Descrição
Programas Idris 2 podem criar lexers e parsers com código de biblioteca focado em totalidade.
É útil para desenvolvedores que criam linguagens, formatos de configuração ou ferramentas de texto estruturado em Idris 2. Código de parser ainda deve definir comportamento claro para entrada malformada ou hostil.