Skip to content

Fix the examples / solution files for latest Iris.

Rodolphe Lepigre 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)

Edited by Ralf Jung

Merge request reports