package beluga
Implementation of contextual modal logic for reasoning with higher-order abstract syntax
Install
Authors
Maintainers
Sources
beluga-1.1.1.tbz
sha256=a1feed16ff859a47859a73b89f751911744f1ed427c6dfd24466d0f817a9fa6b
sha512=a6dcddfc74a8abdf0578ad249fa7fda52168ec7d991784236dbac3ac331777bf3a14d8fc205c8c2b734409eabc008966276a5683c51449322122a3f52c69e96e
Description
Published: 12 Sep 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
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page