Update version in URL for Iris appendix
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.
Please register or sign in to comment
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.