package coq-io
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A library for effects in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
3.3.0.tar.gz
md5=0c5b884e9aabf39239fa42f8ae7ccda1
Description
Published: 24 Oct 2016
Dev Dependencies
None
Used by (5)
- coq-io-evaluate
-
coq-io-exception
>= "1.1.0" -
coq-io-list
>= "1.1.0" -
coq-io-system
= "2.4.0" -
coq-opam-website
!= "1.1.0"
Conflicts
None
On This Page