Fixes

chapitres.mkd

@@ -80,6 +80,29 @@ Apprenez Haskell pour le meilleur !
     + [Le mot-clé newtype](foncteurs-foncteurs-applicatifs-et-monoides#le-mot-cle-newtype)
     + [Monoïdes](foncteurs-foncteurs-applicatifs-et-monoides#monoides)
 
+#. [Pour une poignée de monades](pour-une-poignee-de-monades)
+    + [Trempons-nous les pieds avec Maybe](pour-une-poignee-de-monades#trempons-nous-les-pieds-avec-maybe)
+    + [La classe de types Monad](pour-une-poignee-de-monades#la-classe-de-types-monad)
+    + [Le funambule](pour-une-poignee-de-monades#le-funambule)
+    + [Notation do](pour-une-poignee-de-monades#notation-do)
+    + [La monade liste](pour-une-poignee-de-monades#la-monade-liste)
+    + [Les lois des monades](pour-une-poignee-de-monades#les-lois-des-monades)
+
+#. [Et pour quelques monades de plus](et-pour-quelques-monades-de-plus)
+    + [Lui écrire ? Je la connais à peine !](et-pour-quelques-monades-de-plus#lui-ecrire-je-la-connais-a-peine)
+    + [La lire ? Pas cette blague encore.](et-pour-quelques-monades-de-plus#la-lire-pas-cette-blague-encore)
+    + [Calcul à états dans tous ses états](et-pour-quelques-monades-de-plus#calcul-a-etats-dans-tous-ses-etats)
+    + [Erreur, erreur, ma belle erreur](et-pour-quelques-monades-de-plus#erreur-erreur-ma-belle-erreur)
+    + [Quelques fonctions monadiques utiles](et-pour-quelques-monades-de-plus#quelques-fonctions-monadiques-utiles)
+    + [Créer des monades](et-pour-quelques-monades-de-plus#creer-des-monades)
+
+#. [Zippeurs](zippeurs)
+    + [Une petite balade](zippeurs#une-petite-balade)
+    + [Une traînée de miettes](zippeurs#une-trainee-de-miettes)
+    + [Concentrons-nous sur les listes](zippeurs#concentrons-nous-sur-les-listes)
+    + [Un système de fichiers élémentaire](zippeurs#un-systeme-de-fichiers-elementaire)
+    + [Attention à la marche](zippeurs#attention-a-la-marche)
+
 Ce travail est une traduction de [Learn You a Haskell For Great
 Good!](http://learnyouahaskell.com/). Le texte original est de Miran Lipovača,
 la traduction a été réalisée par Valentin Robert. Le texte original est

foncteurs-foncteurs-applicatifs-et-monoides.mkd

@@ -709,8 +709,8 @@ applicatif (i.e. quand vous les utilisez avec `<*>`), sinon utilisez `Just`.
 Les quatre premières lignes entrées montrent comment la fonction extraite est
 mappée, mais dans ces exemples, elle aurait tout aussi bien pu être mappée
 immédiatement sur les foncteurs. La dernière ligne est intéressante parce qu'on
-essaie d'extraire une fonction d'un `Nothin` et de le mapper sur quelque chose,
-ce qui résulte en un `Nothing` évidemment.
+essaie d'extraire une fonction d'un `Nothing` et de le mapper sur quelque
+chose, ce qui résulte en un `Nothing` évidemment.
 
 Avec des foncteurs normaux, on peut juste mapper une fonction sur un foncteur,
 et on ne peut plus récupérer ce résultat hors du foncteur de manière générale,
@@ -2364,7 +2364,7 @@ créant des monoïdes, donc si notre arbre est vide, la valeur monoïdale sera
 
 Le cas d'un nœud non vide est un peu plus intéressant. Il contient deux
 sous-arbres ainsi qu'une valeur. Dans ce cas, on `foldMap` récursivement la
-même fonction `f` sur les sous-arbres gauche et droite. Souvenez-vous, notre
+même fonction `f` sur les sous-arbres gauche et droit. Souvenez-vous, notre
 `foldMap` retourne une simple valeur monoïdale. On applique également la
 fonction `f` à la valeur du nœud. À présent, nous avons trois valeurs
 monoïdales (deux venant des sous-arbres et une venant de l'application de `f`