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
Published
18 May 2022
Sources
0.1.0.tar.gz
md5=070071daf587ff50ba0f60266ab7c5d9
sha512=257762cb07c75d22f1ae3a0da3a37b2aa2ab8bca7a7dc036b940163fc238b64a7d92efa2535c3bb8185a1f39cc3841cdce5ad936fd2dd804eff25dd68dd21d39
Dependencies
odoc
with-doc
qcheck-core
>= "0.18" & with-test
alcotest
>= "1.5" & with-test
dune
>= "2.0"
Reverse Dependencies