opam on Github

algaeffversion
2.0.0 (latest)
Documentation on ocaml.org

Reusable Effects-Based Components

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

AuthorThe RedPRL Development Team
LicenseApache-2.0
Published
Homepagehttps://github.com/RedPRL/algaeff
Issue Trackerhttps://github.com/RedPRL/algaeff/issues
Maintainerfavonia <favonia@gmail.com>
Dependencies
Source [http] https://github.com/RedPRL/algaeff/archive/refs/tags/2.0.0.tar.gz
md5=70f2a933368a5174d21abd84a0a52c04
sha512=71414cc028437d2c1b997257994d9d3345585373b7216ced23521c061cbca76ac7f82a204e4ef71a8617b7d8bf03dddd72e2519f088c2953ed5d716855d4cc6f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/algaeff/algaeff.2.0.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.