Software artefact for the POPL 2021 submission "Asynchronous effects"

This is a software artefact for the POPL 2021 submission "Asynchronous effects".

The 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.

A manuscript of the associated POPL submission "Asynchronous effects" can be found at https://arxiv.org/abs/2003.02110.