# IO Exception
> Abstract your errors into exceptions.

    opam install coq-io-exception

**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 Exception
> Abstract your errors into exceptions.

    opam install coq-io-exception

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