0La chaleur
1Répondre
Comment écrire une signature de type correcte pour Vect dans Idris?
7La chaleur
3Répondre
Types dépendants: Vecteur de vecteurs
4La chaleur
1Répondre
Unification len et S len conduirait à une valeur infinie
2La chaleur
1Répondre
Totalité et recherche d'éléments dans les flux
3La chaleur
1Répondre
Implémentation de nombres rationnels dans Idris
2La chaleur
1Répondre
4La chaleur
1Répondre
Idris - Définir un type de nombres premiers
0La chaleur
1Répondre
Comment réécrire le terme dans la signature de type pour la preuve dans Idris?
1La chaleur
1Répondre
difficulté à appliquer une preuve à Idris
3La chaleur
1Répondre
Idris: paramètres implicites dans les dossiers