README.md 118 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1 2
The sources for the talks are available in the internal repo at
<https://gitlab.mpi-sws.org/FP/iris-tutorial-popl18>.