2La chaleur
1Répondre
Implémentations nommées - Pourquoi @ {myOrd} est-il placé avant les paramètres?
4La chaleur
2Répondre
Comment inverser un HVect dans Idris?
2La chaleur
1Répondre
`k: Nat ** 5 * k = n` Signature
0La chaleur
1Répondre
Comment déterminer toutes les sous-dimensions d'un HVect?
1La chaleur
1Répondre
fonction pour déterminer si Nat est divisibles par 5 à la compilation
1La chaleur
1Répondre
fonction d'assistance pour déterminer si Nat `mod` 5 == 0
0La chaleur
1Répondre
arg implicite automatique cesse de fonctionner lorsque le type est donné un nom
4La chaleur
1Répondre
Comment comparer les types pour l'égalité?
1La chaleur
2Répondre
Déterminer si `mod Nat 5 = 0` à la compilation à Scala
0La chaleur
1Répondre