Passer au contenu principal
Séance de cours

Monads: Structures de données avec lois