package algaeff
Reusable Effects-Based Components
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=070071daf587ff50ba0f60266ab7c5d9
sha512=257762cb07c75d22f1ae3a0da3a37b2aa2ab8bca7a7dc036b940163fc238b64a7d92efa2535c3bb8185a1f39cc3841cdce5ad936fd2dd804eff25dd68dd21d39
Description
This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.
Published: 18 May 2022
Dependencies (2)
- base-domains
-
dune
>= "2.0"
Dev Dependencies (3)
-
odoc
with-doc -
qcheck-core
>= "0.18" & with-test -
alcotest
>= "1.5" & with-test
Used by (1)
-
forester
>= "2.1" & < "2.4"
Conflicts
None
On This Page