3La chaleur
1Répondre
5La chaleur
1Répondre
Comment Agda détermine un type est impossible
1La chaleur
1Répondre
2La chaleur
1Répondre
`k: Nat ** 5 * k = n` Signature
2La chaleur
2Répondre
Pourquoi la quantification existentielle et les datakinds ne fonctionnent-ils pas ensemble?
21La chaleur
1Répondre
Programmation générique par des effets