1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "dev"
synopsis: "IO monad for Coq"
description: """
This library provides tools to implement IO programs directly in Coq, in a
similar style to Haskell. Facilities for formal verification are not
included.
IO is defined as a parameter with a purely functional interface in
Coq, to be extracted to OCaml. Some wrappers for the basic types and
functions in the OCaml Pervasives module are provided, and users are free to
define their own APIs on top of this IO type."""
maintainer: ["lysxia@gmail.com"]
authors: ["Li-yao Xia" "Yishuai Li"]
license: "MIT"
homepage: "https://github.com/Lysxia/coq-simple-io"
bug-reports: "https://github.com/Lysxia/coq-simple-io/issues"
depends: [
"dune" {>= "3.7"}
"ocaml" {>= "4.08.0"}
"ocamlfind"
"coq" {>= "8.12~"}
"coq-ext-lib" {>= "0.10.0"}
"ocamlbuild" {with-test & >= "0.9.0"}
"cppo" {build & >= "1.6.8"}
"odoc" {with-doc}
]
dev-repo: "git+https://github.com/Lysxia/coq-simple-io.git"
build: [
["dune" "subst"] {dev}
[ "dune" "build" "-p" name "-j" jobs "@install" ]
]
|
