------------------------------------------------------------------------ -- The Agda standard library -- -- Pointwise lifting of relations to lists -- -- This module is DEPRECATED. Please use Data.List.Relation.Pointwise -- directly. ------------------------------------------------------------------------ module Relation.Binary.List.Pointwise where open import Data.List.Relation.Pointwise public