package coq-io-system-ocaml

  1. Overview
  2. No Docs
Extraction to OCaml of system effects

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

2.3.0.tar.gz
md5=f98ce106fd6c7edc686bfed6c1ff7307

Description

Tags

date:2015-04-28 keyword:effects keyword:extraction

Published: 08 May 2019

Dependencies (5)

  1. num
  2. ocamlfind build
  3. ocamlbuild build
  4. ocaml >= "4.00.0" & < "4.06.0"
  5. lwt >= "2.4.7" & < "5"

Dev Dependencies

None

Used by (2)

  1. coq-io-hello-world >= "1.2.0"
  2. coq-io-system != "2.2.0"