Add link to "Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning".
Merge pull request #13 from yallop/iris

Add link to "Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning".