michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Renamed Data.List.Any.Membership.Propositional -> Data.List.Membership.Propositional (changed in agda-stdlib)

Browse source
This commit is contained in:
Wen Kokke 2018-06-02 21:04:11 +01:00
parent cfac659f51
commit 09d5af419b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Lists.lagda
View file

@ -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