1La chaleur
1Répondre
Égalité dans Agda - arguments non pertinents
0La chaleur
1Répondre
Pourquoi la monade de tri Set1?
0La chaleur
1Répondre
Comment installer agda-mode sur OSX El Capitan?
0La chaleur
1Répondre
2La chaleur
1Répondre
0La chaleur
1Répondre
x! = Y de type Y en vérifiant que le motif p (y) a le type Z