Commit c395065c authored by Robbert Krebbers's avatar Robbert Krebbers

Explain folders in README.

parent 178fa393
# The Iris tutorial @ POPL'18
This tutorial comes in two versions:
- The folder `exercises`: skeletons of the exercises with parts left `admit`ted.
- The folder `solutions`: the exercises together with their solutions.
## Dependencies
For the tutorial material you need to have the following dependencies installed:
- Coq 8.6.1 / 8.7.0 / 8.7.1
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