------------------------------------------------------------------------ -- The Agda standard library -- -- Lists ------------------------------------------------------------------------ -- See README.Data.List for examples of how to use and reason about -- lists. {-# OPTIONS --without-K --safe #-} module Data.List where ------------------------------------------------------------------------ -- Types and basic operations open import Data.List.Base public