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 <yishuai@upenn.edu>

Sources

v0.1.0.tar.gz
sha512=2ef90467f978fe2f0756908761e6a4732d29ab4f077b7890efbbb4df8ca9eed76db610622b3cff2cac370c016e246c2a4bd29960c292f9b9df2d343913204cf2

Description

Interpret itree in the IO monad of simple-io.

Tags

logpath:ITreeIO

Published: 06 Feb 2021

Dependencies (3)

  1. coq-simple-io >= "1.3.0"
  2. coq-itree >= "3.2.0"
  3. coq >= "8.12~" & < "8.17"

Dev Dependencies

None

Used by (2)

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

Conflicts

None