Descrição
Projetos Idris 2 podem reutilizar estruturas algébricas que codificam leis no estilo de programação guiado por tipos.
É útil para desenvolvedores e pesquisadores que criam código com estrutura matemática. É um pacote de biblioteca, então normalmente é usado por builds Idris 2, não aberto diretamente.