Awesome

IO

A library for effects in Coq. http://coq.io/

Install

Using OPAM for Coq:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io

Documentation

See http://coq.io/.