Descrição
Programas funcionais com tipos dependentes podem ser criados com uma versão de desenvolvimento da toolchain Idris 2.
É útil para usuários que precisam de mudanças mais recentes do compilador para pesquisa, trabalho de linguagem ou programação funcional avançada. Compiladores executam etapas de build e código do usuário, então fontes do projeto devem ser confiáveis.