package algaeff

  1. Overview
  2. Docs
Reusable Effects-Based Components

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=433b1583d4ffd0d2cb5310f1918935e4
sha512=9e003e4916d579d063e5ae72302c71ca640e0b568378db25c6dc90becbcd6508f23dc29211a2849f745c54871f6611be0a37ea8526a08ecc203147838975ae70

Description

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

Published: 03 Jun 2022

Dependencies (2)

  1. ocaml >= "5.0"
  2. dune >= "2.0"

Dev Dependencies (3)

  1. odoc with-doc
  2. qcheck-core >= "0.18" & with-test
  3. alcotest >= "1.5" & with-test

Used by (2)

  1. forester >= "2.1" & < "2.4"
  2. yuujinchou >= "3.0.0" & < "5.2.0"

Conflicts

None

OCaml

Innovation. Community. Security.