opam on Github

algaeffversion
0.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/0.1.0.tar.gz
md5=070071daf587ff50ba0f60266ab7c5d9
sha512=257762cb07c75d22f1ae3a0da3a37b2aa2ab8bca7a7dc036b940163fc238b64a7d92efa2535c3bb8185a1f39cc3841cdce5ad936fd2dd804eff25dd68dd21d39
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/algaeff/algaeff.0.1.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.