The README still links to the 3.1 appendix.
For easier maintenance, I'd consider (in addition or alternative) to link to a new http://plv.mpi-sws.org/iris/appendix-master.pdf, always matching the latest version.
The README still links to the 3.1 appendix.
For easier maintenance, I'd consider (in addition or alternative) to link to a new http://plv.mpi-sws.org/iris/appendix-master.pdf, always matching the latest version.