From 09d5af419b8337ef8dae762d3808b5c73ef9458d Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 2 Jun 2018 21:04:11 +0100 Subject: [PATCH] Renamed Data.List.Any.Membership.Propositional -> Data.List.Membership.Propositional (changed in agda-stdlib) --- src/Lists.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Lists.lagda b/src/Lists.lagda index 0962bae1..004dc5e5 100644 --- a/src/Lists.lagda +++ b/src/Lists.lagda @@ -880,7 +880,7 @@ Definitions similar to those in this chapter can be found in the standard librar import Data.List using (List; _++_; length; reverse; map; foldr; downFrom) import Data.List.All using (All; []; _∷_) import Data.List.Any using (Any; here; there) -import Data.List.Any.Membership.Propositional using (_∈_) +import Data.List.Membership.Propositional using (_∈_) import Algebra.Structures using (IsMonoid) \end{code} The standard library version of `IsMonoid` differs from the