algaeff

Reusable Effects-Based Components
Description

This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.

Install
Documentation status is unknown. Sorry about that.
Published
03 Jun 2022
Sources
0.2.0.tar.gz
md5=433b1583d4ffd0d2cb5310f1918935e4
sha512=9e003e4916d579d063e5ae72302c71ca640e0b568378db25c6dc90becbcd6508f23dc29211a2849f745c54871f6611be0a37ea8526a08ecc203147838975ae70
Dependencies
odoc
with-doc
qcheck-core
>= "0.18" & with-test
alcotest
>= "1.5" & with-test
ocaml
>= "5.0"
dune
>= "2.0"
Reverse Dependencies
yuujinchou
>= "3.0.0"