# IO List
> Generic functions on lists with effects.

    opam install coq-io-list

**Warning: the content of this repository has been merged into https://github.com/coq-io/io. New developments happen there. This repository is kept for history.**

---

# IO List
> Generic functions on lists with effects.

    opam install coq-io-list

Add warning for the repo merge
Add warning for the repo merge
