⚠️ Archived site. This is the pre-3.0 Agda Universal Algebra Library, preserved for reference. Its current home is agda-algebras.universalalgebra.org (as of July 2026).
------------------------------------------------------------------------ -- The Agda standard library -- -- Lists ------------------------------------------------------------------------ -- See README.Data.List for examples of how to use and reason about -- lists. {-# OPTIONS --cubical-compatible --safe #-} {-# OPTIONS --warn=noUserWarning #-} -- for deprecated scans module Data.List where ------------------------------------------------------------------------ -- Types and basic operations open import Data.List.Base public hiding (scanr; scanl) open import Data.List.Scans.Base public using (scanr; scanl)