A library for effects in Coq.
Coq Shell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
.gitignore
LICENSE
Make
README.md
configure.sh

README.md

Logo IO

A library for effects in Coq.

Install

Using OPAM for Coq:

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

Documentation

See the complete documentation online on v3.1.0.