back to index Equations Inline Footnotes module Data.List where Lists - index🔗 open import Data.List.Base public open import Data.List.Properties public open import Data.List.Membership public