package coq-simple-io

  1. Overview
  2. No Docs
IO monad for Coq

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

  1. L
    Li-yao Xia

Maintainers

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

Sources

0.1.tar.gz
md5=fe4c5a0b60b36b57feec1d6d6aada662

Description

Tags

date:2018-05-27 logpath:SimpleIO keyword:extraction keyword:effects

Published: 28 May 2018

Dependencies (4)

  1. ocamlfind
  2. ocamlbuild build & >= "0.9.0"
  3. coq >= "8.6.1"
  4. ocaml

Dev Dependencies

None

Used by (2)

  1. coq-quickchick >= "1.2.1" & < "2.0.4"
  2. coq-vellvm

Conflicts

None