coq-io / evaluate

Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]

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