20La chaleur
2Répondre
Différence entre les paramètres de type et les indices?
28La chaleur
1Répondre
140La chaleur
2Répondre
Différences entre Agda et Idris
14La chaleur
1Répondre
Typf dactylographié de manière dépendante dans Idris
36La chaleur
2Répondre