package coq-itree-io

  1. Overview
  2. No Docs
Run interaction trees in IO

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. L
    Li-yao Xia <lysxia@gmail.com>

Maintainers

  1. Y
    Yishuai Li <liyishuai.lys@alibaba-inc.com>

Sources

v0.1.1.tar.gz
md5=fbe92a7cebea11bd05a7aeb9c87af020
sha512=5a29b0effa54a0547eaba39934cbb48bf0aa52af2358104d10dc725423bbad6dea90977cb9b26e1e061befb23bab4b39717d5227d598fd16165b9869c3275619

Description

Interpret itree in the IO monad of simple-io.

Tags

logpath:ITreeIO

Published: 21 Jul 2023

Dependencies (3)

  1. coq-simple-io >= "1.3.0"
  2. coq-itree >= "3.2.0"
  3. coq >= "8.12"

Dev Dependencies

None

Used by (2)

  1. coq-async-test
  2. coq-http < "0.2.0"

Conflicts

None