Software artefact for the POPL 2021 paper "Asynchronous Effects"

This is a software artefact for the POPL 2021 paper:

Danel Ahman and Matija Pretnar. 2021. Asynchronous Effects.
Proc. ACM Program. Lang. 5, POPL, Article 24 (January 2021), 28 pages.

This software artefact comprises:

• an Agda formalisation of the core calculus presented in the POPL submission;
• a prototype implementation of the core calculus in OCaml, called Æff; and
• a Docker image that includes all necessary dependencies to use the artefact.

For more information about the artefact and how to use it, see the README.md file in the attached archive.