Descrição
Pacotes Idris 2 podem ser instalados e gerenciados a partir de coleções curadas para setup de projeto repetível.
É útil para desenvolvedores que precisam de dependências, templates ou conjuntos compartilhados de pacotes em projetos Idris 2. Gerenciadores de pacotes baixam e executam código de build, então confiança na fonte e fixação de versões importam.