12La chaleur
1Répondre
Pourquoi il n'y a pas de fonction de filtrage de Stream dans idris?
4La chaleur
1Répondre
3La chaleur
1Répondre
Pourquoi? -notation (notation bang) ne fonctionne pas dans Idris REPL?
2La chaleur
1Répondre
Comment fonctionne exactement la réécriture dans Idris?
3La chaleur
1Répondre
Est-ce une limitation du vérificateur de totalité d'Idris, ou est-ce que je manque quelque chose?
1La chaleur
1Répondre
1La chaleur
1Répondre
mise en œuvre « égale Vect » avec DecEq
1La chaleur
1Répondre
Idris: Comment réécrire/résoudre en utilisant un bloc 'with' dans une définition?
4La chaleur
1Répondre
Type pour les paires (x, y) avec (x/= y)
3La chaleur
1Répondre