blob: e44fa41bb0cd0a860fca446b2920770eb500c1a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
------------------------------------------------------------------------
-- 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
|