{-# OPTIONS --cubical --safe #-}

module Data.List where

open import Data.List.Base public
open import Data.List.Indexing public