package coq-io-system-ocaml

  1. Overview
  2. No Docs
Coq system effects for extraction to OCaml

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

2.0.0.tar.gz
md5=41fcedd859501b31e3113d216763077d

Description

Tags

date:2015-03-03 keyword:effects keyword:extraction

Published: 08 May 2019

Dependencies (4)

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

Dev Dependencies

None

Used by (1)

  1. coq-io-system < "2.1.0"