package coq-io

  1. Overview
  2. No Docs
A library for effects in Coq

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

3.0.0.tar.gz
md5=f4bdf1f8af1b126ea7da97696f3d4f04

Description

Published: 25 Nov 2015

Dependencies (2)

  1. coq >= "8.4pl4"
  2. ocaml

Dev Dependencies

None

Used by (4)

  1. coq-io-exception < "1.1.0"
  2. coq-io-list < "1.1.0"
  3. coq-io-system = "2.2.0"
  4. coq-opam-website < "1.1.0"

Conflicts

None