package algaeff
Reusable Effects-Based Components
Install
Authors
Maintainers
Sources
2.0.0.tar.gz
md5=70f2a933368a5174d21abd84a0a52c04
sha512=71414cc028437d2c1b997257994d9d3345585373b7216ced23521c061cbca76ac7f82a204e4ef71a8617b7d8bf03dddd72e2519f088c2953ed5d716855d4cc6f
Description
This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.
Published: 07 Nov 2023
Dev Dependencies (3)
-
odoc
with-doc
-
qcheck-core
>= "0.18" & with-test
-
alcotest
>= "1.5" & with-test
Used by (2)
-
asai
>= "0.3.0"
-
yuujinchou
>= "5.2.0"
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page