kappa-agents

Backends for an interactive use of the Kappa tool suite
Description
Install
Documentation failed to build. kappalanguage.org Edit opam file
Published
17 Sep 2020
Authors
Maintainers
Sources
v4.1.tar.gz
sha256=8ca79f1917e3b5b0e3606547d8be374321f8eb68dfbe62e805339ac82bc89fd1 sha512=7c944f27fd2b6752e48e2731b9217954b1f1624b30a5439ab00881d1def5b75aafb044051bdce858a1c766e407a888afeded831705b17fffc35bda02aae45eac
Dependencies
atdgen build
atdgen-runtime
kappa-library = version
dune >= "1.1"
ocaml
Reverse Dependencies
kappa-server