1La chaleur
1Répondre
d'où il obtient le deuxième argument dans agda?
5La chaleur
1Répondre
Comment Agda détermine un type est impossible
1La chaleur
1Répondre
1La chaleur
1Répondre
pourquoi ce code ne fonctionne pas dans agda?
2La chaleur
1Répondre
1La chaleur
1Répondre
Comment construire un éventuellement non vide Définir dans Agda
1La chaleur
1Répondre
Égalité des enregistrements dans Agda
1La chaleur
1Répondre
21La chaleur
1Répondre
Programmation générique par des effets
3La chaleur
1Répondre