Diferenças entre Agda e Idris
Estou começando a mergulhar na programação de tipo dependente e descobri que as linguagens Agda e Idris são as mais próximas de Haskell, então comecei por lá. Minha pergunta é: quais são as principais diferenças entre eles? Os sistemas de tipos são igualmente expressivos em ambos? Seria ótimo ter...