Switch branches/tags
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
README.txt
amb.eff
choice.eff
delimited.eff
modulus.eff
more_threads.eff
random.eff
select.eff
threads.eff
yield.eff

README.txt

Many of the examples in this directory are taken from the paper
"Programming with Algebraic Effects and Handlers" by Andrej Bauer and
Matija Pretnar. The paper is available at http://arxiv.org/abs/1203.1539.