fixed header comment

agda · Jan 22, 2025 · c75b172 · c75b172
1 parent d21c942
commit c75b172
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Data/Bool/ListAction.agda b/src/Data/Bool/ListAction.agda
@@ -1,10 +1,11 @@
 ------------------------------------------------------------------------
 -- The Agda standard library
 --
--- Natural numbers: sum and product of lists
+-- Booleans: conjunction and disjunction of lists
 --
 -- Issue #2553: this is a compatibility stub module,
--- ahead of a more thorough breaking set of changes.
+-- ahead of a more thorough refactoring in terms of
+-- `Data.List.Effectful.Foldable.foldmap`.
 ------------------------------------------------------------------------
 
 {-# OPTIONS --cubical-compatible --safe #-}