package coq-itree-io
Run interaction trees in IO
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.1.tar.gz
md5=fbe92a7cebea11bd05a7aeb9c87af020
sha512=5a29b0effa54a0547eaba39934cbb48bf0aa52af2358104d10dc725423bbad6dea90977cb9b26e1e061befb23bab4b39717d5227d598fd16165b9869c3275619
Description
Interpret itree in the IO monad of simple-io.
Dependencies (3)
-
coq-simple-io
>= "1.3.0" -
coq-itree
>= "3.2.0" -
coq
>= "8.12"
Dev Dependencies
None
Used by (2)
- coq-async-test
-
coq-http
< "0.2.0"
Conflicts
None
On This Page