17La chaleur
1Répondre
Haskell type niveau littéral Nat: statut?
0La chaleur
1Répondre
Que fait un mot-clé amusant dans Coq?
3La chaleur
1Répondre
Agda: Former toutes les paires {(x, y) | x dans xs, y dans ys}
0La chaleur
2Répondre
Restauration d'un type dépendant à l'exécution
0La chaleur
1Répondre
Comment travailler avec stream dans agda?
14La chaleur
1Répondre
Case type d'argument constructeur de la classe en fonction de la valeur précédente argument