# IO Eval
> Generic functions to evaluate effects.

    opam install coq-io-evaluate

**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 Eval
> Generic functions to evaluate effects.

    opam install coq-io-evaluate

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