5La chaleur
1Répondre
Dans Idris, comment cacher quelque chose de défini dans Prelude?
2La chaleur
1Répondre
Dans Idris, utiliser réécrire sous un lambda
2La chaleur
1Répondre
Pourquoi Idris classe-t-il les arguments dans Data.Vect en tant que taille puis type d'élément?
2La chaleur
1Répondre
Idris: vérification de la totalité échoue lorsque vous essayez de réimplémenter fromInteger pour Nat
1La chaleur
1Répondre
2La chaleur
1Répondre
Puis-je définir le concept général de x == y = p (x) == p (y) dans Idris?
1La chaleur
1Répondre
1La chaleur
1Répondre
le module Network.Socket ne se trouve pas dans Idris
1La chaleur
2Répondre
1La chaleur
1Répondre
Est-ce que Idris a un équivalent de hackage ou de poursuite?