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.2.tbz
sha256=b212cd25f28487591e7eb08207f31c45c1329cdd5f76544aca00904089ed8718
sha512=2e1e029912a6352733a44689a38cc9161a49c870990930e4432e48c2e376902b18bd5f21d64db936dfb0574fffb69ed17eecde2823f2295fc7bb7255b81638aa
Description
Published: 22 Jul 2024
Dependencies (9)
Dev Dependencies (6)
-
odoc
>= "2.2.0" & with-doc
-
conf-timeout
with-test
-
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