daanx/icfp21-multip-artifact repository overview

⁠Artifact for "Generalized Evidence Passing for Effect Handlers"

ICFP 2021.

⁠Getting Started

First pull and run the provided docker image:

$ docker pull daanx/icfp21-multip-artifact:1.1
$ docker run -it -w/root/effect-bench-artifact daanx/icfp21-multip-artifact:1.1

We now see the docker prompt, and the benchmarks can be run as:

root:~/effect-bench-artifact$ out/kk/bench

See the /root/effect-bench-artifact/README.md for further details.