Commits · f88a81bcef249a747e5b1884fb354ae5628e754a · POTTIER Francois / mpri-2.4-public

Feb 14, 2020
- Syntax compatible with 2.6.0.1 · 9677ec54
  Pierre-Evariste Dagand authored 5 years ago
  
  9677ec54
- Today's lecture · 69996a23
  Pierre-Evariste Dagand authored 5 years ago
  
  69996a23
Feb 07, 2020
- Quickndirty local setup scripts · 77b390fc
  Pierre-Evariste Dagand authored 5 years ago
  
  77b390fc
- More exercises · fee98608
  Pierre-Evariste Dagand authored 5 years ago
  
  fee98608
- Add stdlib config · f1c397d7
  Pierre-Evariste Dagand authored 5 years ago
  
  f1c397d7
- Remove part done in intro class · 3f689823
  Pierre-Evariste Dagand authored 5 years ago
  
  3f689823
- Add conversion rule(!) · ab662afa
  Pierre-Evariste Dagand authored 5 years ago
  
  ab662afa
- Revert back to older version of Agda · b25b5b85
  Pierre-Evariste Dagand authored 5 years ago
  
  b25b5b85
Jan 24, 2020
- Bump Agda version · b33d1467
  Pierre-Evariste Dagand authored 5 years ago
  
  b33d1467
- Bump versions · 5d032df5
  Pierre-Evariste Dagand authored 5 years ago
  
  5d032df5
Feb 22, 2019
- More exercises · 32905ca0
  Pierre-Évariste Dagand authored 6 years ago
  
  32905ca0
Feb 15, 2019
- More exercises · a6ed2267
  Pierre-Evariste Dagand authored 6 years ago
  
  a6ed2267
- Fix typos · 08b0e8e8
  Pierre-Evariste Dagand authored 6 years ago
  
  08b0e8e8
Jan 25, 2019
- Misc. updates of lectures 1 to 4 · ea60ef52
  Pierre-Evariste Dagand authored 6 years ago
  
  ea60ef52
Jan 22, 2019
- Update for Agda 2.5.4.1 / stdlib 0.17 · 6c38ac0a
  Pierre-Évariste Dagand authored 6 years ago
  
  6c38ac0a
Feb 23, 2018
- Lecture 5 goes live · b9e56e45
  Pierre-Évariste Dagand authored 7 years ago
  
  b9e56e45
- Clarify lecture 3 · 4c427b05
  Pierre-Évariste Dagand authored 7 years ago
  
  4c427b05
Feb 15, 2018
- Lecture 4 goes live · c234254b
  Pierre-Évariste Dagand authored 7 years ago
  
  c234254b
- Lecture 2: use same notations as in class · c077ad80
  Pierre-Évariste Dagand authored 7 years ago
  
  c077ad80
- Add takeaways · 117d0f3b
  Pierre-Évariste Dagand authored 7 years ago
  
  117d0f3b
Feb 08, 2018
- Lecture 3 goes live · 5b956388
  Pierre-Évariste Dagand authored 7 years ago
  
  5b956388
- Update lecture 2 · 9b3babff
  Pierre-Évariste Dagand authored 7 years ago
  
  9b3babff
Jan 31, 2018
- Lecture 2 goes live · 53ed90c8
  Pierre-Évariste Dagand authored 7 years ago
  
  53ed90c8
- Misc fixes to Lecture 1 · 4787aea3
  Pierre-Évariste Dagand authored 7 years ago
  
  4787aea3
Jan 26, 2018
- Remove internal noise · bf185fcc
  Pierre-Évariste Dagand authored 7 years ago
  
  bf185fcc
Jan 25, 2018
- Agda installation instructions · 39a4c217
  Pierre-Évariste Dagand authored 7 years ago
  
  39a4c217
- Part 4 - Lecture 1 · 4801ba30
  Pierre-Évariste Dagand authored 7 years ago
  
  4801ba30