3La chaleur
1Répondre
Comment construire au mieux un enregistrement sans forme avec une valeur par défaut?
1La chaleur
1Répondre
1La chaleur
2Répondre
2La chaleur
1Répondre
2La chaleur
1Répondre
Classe avec liste de Nat entre 0 et 2?
6La chaleur
1Répondre
Constraint sur HList: vérifier seule occurrence d'un type
3La chaleur
1Répondre
4La chaleur
1Répondre
cartographie sur HLists zippés
0La chaleur
1Répondre
Comment corriger cette erreur de compilation avec une fonction Poly