From f3705d09b41520eecf7e9234d481305c65a3b209 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Wed, 22 Jan 2025 16:28:17 +0000
Subject: [PATCH] [Kernel] Typo
Credit to Thibault Martin
---
src/libraries/monads/composition.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/monads/composition.mli b/src/libraries/monads/composition.mli
index fa260d44db..e2f9aba8e6 100644
--- a/src/libraries/monads/composition.mli
+++ b/src/libraries/monads/composition.mli
@@ -86,7 +86,7 @@ module Make_with_product
Distributive laws, their application to monads composition and weakenings
of their axioms are a broad topic with profound implications in category
- theory. Even if none of this formal knowledge us required to use this
+ theory. Even if none of this formal knowledge is required to use this
module, one can check the following references to satisfy their curiosity.
@see Jon Beck paper "Distributive laws" for more details on this topic.
--
GitLab