Forked from
Iris / Iris
Source project has a limited visibility.
-
Paolo G. Giarrusso authored
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.
Paolo G. Giarrusso authoredI'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.