opam on Github

algaeffversion
1.0.0
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/1.0.0.tar.gz
md5=203805788d40cba3bfa6f86f689f2561
sha512=865e575963b04d20711f4b2f7f95444c58ed039700a6771cf41088f05a0032c7b04190e9692a3e38cef93c976c9a0bb8a058466da11b871be84d344397e04a50
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/algaeff/algaeff.1.0.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.