opam on Github

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