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.2.0.tar.gz
md5=14ca13ea6480df063255ebcadc0d4ca6

Description

Tags

date:2015-03-19 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 < "5"

Dev Dependencies

None

Used by (1)

  1. coq-io-system < "2.4.1"