1La chaleur
1Répondre
Quand (exactement) l'égalité peut-elle être proposée entre différents types en utilisant '='?
1La chaleur
2Répondre
Où est l'opérateur Idris == utile?
3La chaleur
1Répondre
Comment puis-je implémenter une fonction typeOf?
2La chaleur
1Répondre
Comment puis-je utiliser des fractions dans Idris?
2La chaleur
1Répondre
Que signifie une citation unique de premier plan?
1La chaleur
1Répondre
26La chaleur
1Répondre
indexé par un type vs contenant un type dans idris
4La chaleur
1Répondre
1La chaleur
1Répondre
Type Idris découlant d'une opération arithmétique
5La chaleur
2Répondre
Comment contraindre le type d'entrée et le type de sortie à être les mêmes?