Merged requested to merge latest_iris into master
We fix the tutorial so that it works with the development version of Iris.
Before merging, there is a small issue that should be looked into (see the FIXMEs): a previously working instance of
wp_apply has been replaced (there are several occurrences of that) by a
wp_bind (_ ||| _)%E followed by an
iApply. Is that an Iris bug?
Fixes #2 (closed)