opam on Github

algaeffversion
0.2.0

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/0.2.0.tar.gz
md5=433b1583d4ffd0d2cb5310f1918935e4
sha512=9e003e4916d579d063e5ae72302c71ca640e0b568378db25c6dc90becbcd6508f23dc29211a2849f745c54871f6611be0a37ea8526a08ecc203147838975ae70
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/algaeff/algaeff.0.2.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.