package coq-io
A library for effects in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
4.0.0.tar.gz
sha512=4530f51f704c09d62870ab68f88705c18cc3a1923ee23382b8c2777b2dcb07b73f0a0a14f80f9b99708c9457065608082b1ebf3b243e2c6cb9c521173e5f2695
Description
Dev Dependencies
None
Used by (5)
- coq-io-evaluate
-
coq-io-exception
>= "1.1.0" -
coq-io-hello-world
>= "1.2.0" -
coq-io-system
>= "2.4.1" -
coq-opam-website
!= "1.1.0"
Conflicts
None
On This Page