11La chaleur
1Répondre
Une implémentation en bibliothèque d'un schéma de récurrence
5La chaleur
3Répondre
Fonction "peut-être" pour Bool et List?
5La chaleur
1Répondre
Catamorphismes pour les listes codées en église
1La chaleur
2Répondre
23La chaleur
1Répondre
1La chaleur
1Répondre
10La chaleur
2Répondre
Comment faire fonctionner les catamorphismes avec des types paramétrés/indexés?
3La chaleur
1Répondre
F #: catamorphisme pour les structures de données mutuellement récursives
2La chaleur
1Répondre
Comment travailler avec AST avec l'annotation Cofree?
9La chaleur
2Répondre
Est-il possible de comparer deux arbres avec des schémas de récursivité?