Dagstuhl seminar 2016
Pre-release
Pre-release
·
955 commits
to master
since this release
This is the version of Andromeda used for the presentation at the Dagstuhl seminar on Algebraic Effects and Handlers held in March 2016.
The presentation code itself is available at doc/talks/dagstuhl/presentation_dagstuhl.m31.