opam on Github

algaeffversion
1.1.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.1.0.tar.gz
md5=b8bafd5ed5f2ab222a327b038929d6b6
sha512=c58a9497d9f97a138ea3de99b33ea4ef8c8a5ab5ad4d501482fad2ea35894032b2fab65397881bd21a20cd2c0d5a4305782d81673ba3a7e4b7a3fe7273a22d1a
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/algaeff/algaeff.1.1.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.