package beluga
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Implementation of contextual modal logic for reasoning with higher-order abstract syntax
Install
Dune Dependency
Authors
Maintainers
Sources
beluga-1.1.tbz
sha256=a6b4e3b3b51cd4cb5575b6f5cf7da88aa37027e273925752a50a3f7c97f0ed8c
sha512=070d2ee1f67583bf0619d4209369234a9ee948145b674c2a6b05586e96f5a45b2b73cadea0c67958e4ed03eb72e9ca72a037758a4db0d7e7d57eb1a3a98efc9c
Description
Published: 08 Aug 2023
Dependencies (9)
Dev Dependencies (5)
-
odoc
>= "2.2.0" & with-doc
-
bisect_ppx
>= "2.8.1" & with-test
-
ounit2
>= "2.2.6" & with-test
-
yojson
>= "2.0.2" & with-test
-
ocamlformat
= "0.25.1" & with-test
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page