This directory contains a translation of the algebraic effects library originally written in Idris for Brady's ICFP 2013 paper, "Programming and Reasoning with Algebraic Effects and Dependent Types". It compiles with a version of GHC 8 that has GHC bug #12442 fixed. This fix is in HEAD, as of this writing.
Files beginning with Sec in this directory correspond to sections
in Brady's original paper.
This implementation of algebraic effects is based on the version described in the paper and available here. Note that this version is several years old. Newer versions of this library use higher-rank types in a way not yet available in GHC, though the use case is encompassed by my design for Dependent Haskell.