Opam Package kappa-agents.4.1.0

Package info

opam-namekappa-agents
opam-version4.1.0
synopsisBackends for an interactive use of the Kappa tool suite
authors
  • Jean Krivine
  • Jérôme Feret
  • Pierre Boutillier
  • Ioana Cristescu
  • Mutaamba Maasha
  • Lý Kim Quyên
homepagehttps://kappalanguage.org/
licenseLGPL-3.0
changes-fileCHANGES.md
readme-fileREADME.md
deps (5)
revdeps (1)
metas (1)
libraries(0)

Package modules

Package sources

kappa-agents

Package files

lib/kappa-agents/opam
lib/kappa-agents/dune-package
lib/kappa-agents/META
lib/kappa-agents
doc/kappa-agents/README.md
doc/kappa-agents/CHANGES.md
doc/kappa-agents
bin/KappaSwitchman
bin/KaSimAgent
bin/KaSaAgent
bin/KaMoHa