A tool to manipulate and validate Scribble-style multiparty protocols
Description

A tool to manipulate and validate Scribble-style multiparty protocols

Install

Published

10 Jan 2020

Authors

Maintainers

Sources

nuscr-web-1.1.0.tbz
sha256=c71f537d6eff636e6feee070f348543acefcc7da29f727cabad1fb45944ec8ab sha512=340005de60705cd64ca580e6a9450c033f032b1ee2e75635cd5d35c0471cd4add2d501c87ad4877ba620ea01b801eb000053d3a21c34019e279c3d2a77aff556

Dependencies

ppxlib >= "0.9.0" & < "0.14.0"
ocamlgraph >= "1.8.8"
odoc with-doc
ppx_sexp_conv >= "v0.12.0"
stdio >= "v0.12.0"
base >= "v0.12.0"
dune >= "1.11.4"
menhir build & >= "20190924"

Reverse Dependencies

None

Conflicts

None