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.1.0.tar.gz
md5=af119a5226ff6bfcb0533f4e3b6eab36

Description

Tags

date:2015-03-11 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.2.0"