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.1.tar.gz
sha512=4914cc5bbf45d3bae178dd9514131994f0be35d8ae77fd18b55db91de36812f7bac3570a2001e5ed9ccf695f296909a92cf4cc1c8c0283768aa9d187754688c4

Description

Tags

date:2019-07-25 keyword:effects keyword:extraction

Published: 26 Jul 2019

Dependencies (5)

  1. num
  2. ocamlfind build
  3. ocamlbuild build
  4. ocaml >= "4.02.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"