Descrição
Programas Idris 2 podem manipular caminhos de arquivo no estilo Unix por funções reutilizáveis de biblioteca.
É útil para desenvolvedores que escrevem ferramentas de linha de comando, auxiliares de build ou programas de processamento de arquivos em Idris 2. Tratamento de caminhos afeta arquivos em disco, então aplicações ainda devem validar caminhos fornecidos pelo usuário.