package beluga

  1. Overview
  2. No Docs
Implementation of contextual modal logic for reasoning with higher-order abstract syntax

Install

Dune Dependency

Authors

Maintainers

Sources

beluga-1.1.2.tbz
sha256=b212cd25f28487591e7eb08207f31c45c1329cdd5f76544aca00904089ed8718
sha512=2e1e029912a6352733a44689a38cc9161a49c870990930e4432e48c2e376902b18bd5f21d64db936dfb0574fffb69ed17eecde2823f2295fc7bb7255b81638aa

Description

Published: 22 Jul 2024

Dependencies (9)

  1. uri >= "4.2.0"
  2. omd >= "1.3.2"
  3. sedlex >= "2.5"
  4. ocaml >= "4.14"
  5. linenoise >= "1.4.0"
  6. gen >= "1.0"
  7. extlib >= "1.7.9"
  8. dune-build-info >= "3.7.0"
  9. dune >= "3.7"

Dev Dependencies (6)

  1. odoc >= "2.2.0" & with-doc
  2. conf-timeout with-test
  3. bisect_ppx >= "2.8.1" & with-test
  4. ounit2 >= "2.2.6" & with-test
  5. yojson >= "2.0.2" & with-test
  6. ocamlformat = "0.25.1" & with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.