package coq-io

  1. Overview
  2. No Docs
A library for effects in Coq

Install

Dune Dependency

Authors

Maintainers

Sources

3.2.0.tar.gz
md5=e2cecb304942df8ecfcde4d6bbaf6217

Description

Published: 25 Nov 2015

Dependencies (2)

  1. coq >= "8.4pl4" & < "8.5~"
  2. ocaml

Dev Dependencies

None

Conflicts

None