A tool to manipulate and validate Scribble-style multiparty protocols
Description
A tool to manipulate and validate Scribble-style multiparty protocols
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
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_inline_test
with-test
ppx_sexp_conv
>= "v0.12.0"
stdio
>= "v0.12.0"
base
>= "v0.12.0"
dune
>= "1.11.4"
ppx_deriving
>= "4.4"
menhir
build & >= "20190924"
Reverse Dependencies
None
Conflicts
None