[ typo ] Fix a silly typo

idris-lang · Dec 8, 2023 · 8557b5b · 8557b5b
1 parent d5e12ce
commit 8557b5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/base/Data/Zippable.idr b/libs/base/Data/Zippable.idr
@@ -73,7 +73,7 @@ public export
 ||| This implementation is lazy during unzipping.
 ||| Caution! It may repeat the whole original work, each time the unzipped elements are used.
 |||
-||| Please be aware that for every `Applicative` has the same semantics as `Zippable`.
+||| Please be aware that not every `Applicative` has the same semantics as `Zippable`.
 ||| Consider `List` as a simple example.
 ||| However, this implementation is applicable for lazy data types or deferred computations.
 public export