Commits · 2ead624a301d1cc02a9378a11fb5a994adf27de3 · Iris / Tutorial POPL18

24 Jan, 2019 1 commit
- add link to talk sources · 2ead624a
  Ralf Jung authored Jan 24, 2019
  
  2ead624a
09 Jan, 2018 1 commit
- Add slides for the talks. · cc57fef5
  Jacques-Henri Jourdan authored Jan 08, 2018
  
  cc57fef5
08 Jan, 2018 10 commits
- remove more generated files · 236ffeda
  Ralf Jung authored Jan 08, 2018
  
  236ffeda
- fix gitignore · 69f36880
  Ralf Jung authored Jan 08, 2018
  
  69f36880
- tweak · 24d08159
  Ralf Jung authored Jan 08, 2018
  
  24d08159
- improve README · 6e088de5
  Ralf Jung authored Jan 08, 2018
  
  6e088de5
- Explain folders in README. · c395065c
  Robbert Krebbers authored Jan 08, 2018
  
  c395065c
- Remove duplicate README. · 178fa393
  Robbert Krebbers authored Jan 08, 2018
  
  178fa393
- Add skeletons. · c9be14ee
  Robbert Krebbers authored Jan 08, 2018
  
  c9be14ee
- Add solutions of the exercises. · 0de7dd98
  Robbert Krebbers authored Jan 08, 2018
  
  0de7dd98
- Add .gitignore. · f797ad62
  Robbert Krebbers authored Jan 08, 2018
  
  f797ad62
- initial commit · 0a1d6023
  Ralf Jung authored Jan 08, 2018
  
  0a1d6023