GitHub - LimitEpsilon/having-an-effect: Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

LimitEpsilon / having-an-effect Public

Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
bin		bin
doc/coq		doc/coq
lib		lib
test		test
.gitignore		.gitignore
.ocamlformat		.ocamlformat
EDSLNG.opam		EDSLNG.opam
dune-project		dune-project

About

Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

No releases published

No packages published