2La chaleur
1Répondre
Tableaux mutables indexés par taille dans Haskell
1La chaleur
1Répondre
9La chaleur
4Répondre
Est-il possible d'appliquer partiellement le nième paramètre dans Haskell?
3La chaleur
1Répondre
Méthode d'usine avec type dépendant
0La chaleur
1Répondre
Utilisation de lambda dans les définitions de Fixpoint Coq
4La chaleur
1Répondre
Comment énumérer les éléments d'une liste par `Fin`s en temps linéaire?
2La chaleur
2Répondre
Comment faire la preuve dans des instructions Coq sur des ensembles donnés
3La chaleur
1Répondre
Récupération d'un type dans Idris
3La chaleur
1Répondre
Auto-représentation et univers dans OTT