this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "essdotteedot <essdotteedot@gmail.com>"
3authors: "essdotteedot <essdotteedot@gmail.com>"
4homepage: "https://github.com/essdotteedot/sessions"
5bug-reports: "https://github.com/essdotteedot/sessions/issues"
6license: "MIT"
7dev-repo: "git+https://github.com/essdotteedot/sessions.git"
8build: [
9 ["ocaml" "setup.ml" "-configure" "--prefix" prefix "--%{lwt:enable}%-lwt"]
10 ["ocaml" "setup.ml" "-build"]
11 ["ocaml" "setup.ml" "-configure" "--enable-tests" "--%{lwt:enable}%-lwt"]
12 {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15 ["ocaml" "setup.ml" "-doc"] {with-doc}
16]
17install: ["ocaml" "setup.ml" "-install"]
18remove: ["ocamlfind" "remove" "sessions"]
19depends: [
20 "ocaml" {>= "4.02.3" & < "5.0.0"}
21 "base-threads"
22 "base-unix"
23 "lwt"
24 "ocamlfind" {build}
25 "ocamlbuild" {build}
26]
27synopsis:
28 "Library to provide session types to allow for static verification of protocols between concurrent computations"
29description: """
30Provides sessions types (currently binary session type) for statically verifying protocols between concurrent computations.
31A pair of processes which are parametrized by binary session types can only be run if they have compatible (dual) session types.
32This library is based on the paper "Haskell Session Types with (Almost) No Class"."""
33flags: light-uninstall
34url {
35 src: "https://github.com/essdotteedot/sessions/archive/0.1.0.tar.gz"
36 checksum: [
37 "sha256=7b9693aa4e8571fc7dadeeb971a24e523ad411a6cfd6d2e087aae05cfd3882cc"
38 "md5=c2d5f085a0aa0f6b5cf7cac2568560fb"
39 ]
40}