Commit f903bf93 authored by Ralf Jung's avatar Ralf Jung

deprecate the popl18 tutorial

parent 11b7bc6a
Pipeline #40667 passed with stage
in 3 minutes and 25 seconds
# The Iris tutorial @ POPL'18
# Deprecation notice
This repository is no longer maintained. For the latest version of these
exercises, please check out the
[POPL 2021 version of the tutorial](https://gitlab.mpi-sws.org/iris/tutorial-popl21).
# The Iris tutorial @ POPL'18 (deprecated)
This tutorial comes in two versions:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment