algaeff

Reusable Effects-Based Components
Description

This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.

Install
Documentation github.com Apache-2.0 License Edit opam file
Published
17 Dec 2022
Authors
Maintainers
Sources
0.2.1.tar.gz
md5=585035e148aa566c00f38000768e06c8 sha512=a79ae50ea35574330dafdc06dd261789b0606f913031206f1b38535b85da331b98a6f8d4c598a97af91f66f07c58e52952b40adebcb0328c47d8506acc5af913
Dependencies
odoc with-doc
qcheck-core >= "0.18" & with-test
alcotest >= "1.5" & with-test
ocaml >= "5.0"
dune >= "2.0"
Reverse Dependencies
yuujinchou >= "3.0.0"