package algaeff
Reusable Effects-Based Components
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.0.tar.gz
md5=433b1583d4ffd0d2cb5310f1918935e4
sha512=9e003e4916d579d063e5ae72302c71ca640e0b568378db25c6dc90becbcd6508f23dc29211a2849f745c54871f6611be0a37ea8526a08ecc203147838975ae70
Description
This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.
Published: 03 Jun 2022
Dev Dependencies (3)
-
odoc
with-doc
-
qcheck-core
>= "0.18" & with-test
-
alcotest
>= "1.5" & with-test
Used by (2)
-
forester
>= "2.1" & < "2.4"
-
yuujinchou
>= "3.0.0" & < "5.2.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page