package coq-io-evaluate
Generic functions to run effects
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
md5=f244d76d068bbf4c894a0ad8058179c9
Description
Dependencies (4)
-
coq-io
>= "3.1.0" - coq-function-ninjas
-
coq
>= "8.4pl4" & < "8.5~" - ocaml
Dev Dependencies
None
Used by (1)
-
coq-io-exception
>= "1.1.0"
Conflicts
None
On This Page