Coq OPAMcoq-simple-io
IO monad for Coq
opam install coq-simple-io.0.1
- homepage
- https://github.com/Lysxia/coq-simple-io
- license
- MIT
- bugs tracker
- https://github.com/Lysxia/coq-simple-io/issues
- dependencies
- coq & ocamlbuild >= 0.9.0 & ocamlfind
- source
- https://github.com/Lysxia/coq-simple-io/archive/0.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-simple-io/coq-simple-io.0.1