package algaeff
Reusable Effects-Based Components
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.1.tar.gz
md5=585035e148aa566c00f38000768e06c8
sha512=a79ae50ea35574330dafdc06dd261789b0606f913031206f1b38535b85da331b98a6f8d4c598a97af91f66f07c58e52952b40adebcb0328c47d8506acc5af913
Description
This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.
Published: 17 Dec 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
On This Page