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

15 Sep, 2020 10 commits
- Avoid shellcheck warning. · b5dc6521
  POTTIER Francois authored Sep 15, 2020
  
  b5dc6521
- Avoid shellcheck warning. · dabc07c1
  POTTIER Francois authored Sep 15, 2020
  
  dabc07c1
- Add last year's final exam. · 545549ce
  POTTIER Francois authored Sep 15, 2020
  
  545549ce
- Update README. · 756472e9
  POTTIER Francois authored Sep 15, 2020
  
  756472e9
- Avoid shellcheck warnings and resist to variations in the name of Aquamacs. · 241e5401
  POTTIER Francois authored Sep 15, 2020
  
  241e5401
- Bump opam version number in README. · d395b90b
  POTTIER Francois authored Sep 15, 2020
  
  d395b90b
- Remove broken tentative dates. · 1efdbae9
  POTTIER Francois authored Sep 15, 2020
  
  1efdbae9
- Move down the internship proposals section. · 090a99c2
  POTTIER Francois authored Sep 15, 2020
  
  090a99c2
- Update front page. · 8acdb151
  POTTIER Francois authored Sep 15, 2020
  
  8acdb151
- Bump the year in the slides. · 8d6f50e3
  POTTIER Francois authored Sep 15, 2020
  
  8d6f50e3
14 Feb, 2020 2 commits
- Syntax compatible with 2.6.0.1 · 9677ec54
  Pierre-Evariste Dagand authored Feb 14, 2020
  
  9677ec54
- Today's lecture · 69996a23
  Pierre-Evariste Dagand authored Feb 14, 2020
  
  69996a23
07 Feb, 2020 7 commits
- Quickndirty local setup scripts · 77b390fc
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  77b390fc
- More exercises · fee98608
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  fee98608
- Add stdlib config · f1c397d7
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  f1c397d7
- Update lecture notes · 1781e294
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  1781e294
- Remove part done in intro class · 3f689823
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  3f689823
- Add conversion rule(!) · ab662afa
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  ab662afa
- Revert back to older version of Agda · b25b5b85
  Pierre-Evariste Dagand authored Feb 07, 2020
  
  b25b5b85
24 Jan, 2020 4 commits
- Bump Agda version · b33d1467
  Pierre-Evariste Dagand authored Jan 24, 2020
  
  b33d1467
- Forgot to bump version here · 1aa843b8
  Pierre-Evariste Dagand authored Jan 24, 2020
  
  1aa843b8
- Categorical cheatsheet · f55756d7
  Pierre-Evariste Dagand authored Jan 24, 2020
  
  f55756d7
- Bump versions · 5d032df5
  Pierre-Evariste Dagand authored Jan 24, 2020
  
  5d032df5
22 Jan, 2020 1 commit
- Update schedule · 2e6304fb
  Pierre-Evariste Dagand authored Jan 22, 2020
  
  2e6304fb
20 Dec, 2019 2 commits
- Initial import of the projet · 65bcc8b8
  Pierre-Evariste Dagand authored Dec 20, 2019
  
  65bcc8b8
- Initial import · 5077dea9
  Pierre-Evariste Dagand authored Dec 20, 2019
  
  5077dea9
13 Dec, 2019 1 commit
- Update internships. · bfb8cf54
  Yann Regis-Gianas authored Dec 13, 2019
  
  bfb8cf54
05 Dec, 2019 3 commits
- Exam dates. · b9d42f77
  POTTIER Francois authored Dec 05, 2019
  
  b9d42f77
- Expose the mid-term exam topic and its solution. · 77ab5e5d
  POTTIER Francois authored Dec 05, 2019
  
  77ab5e5d
- Relative link. · 61a15902
  POTTIER Francois authored Dec 05, 2019
  
  61a15902
29 Nov, 2019 1 commit
- Add a lambda-calculus interpreter in CPS style. · 01b571ab
  POTTIER Francois authored Nov 29, 2019
  
  01b571ab
21 Nov, 2019 3 commits
- semi-unification internship · a8276afc
  REMY Didier authored Nov 21, 2019
  
  a8276afc
- semi-unification internship · 0355289c
  REMY Didier authored Nov 21, 2019
  
  0355289c
- semi-unification internship · 17c12d93
  REMY Didier authored Nov 21, 2019
  
  17c12d93
15 Nov, 2019 4 commits
- Change title of internship proposal. · 8508d673
  POTTIER Francois authored Nov 15, 2019
  
  8508d673
- stages didier · 9b732625
  REMY Didier authored Nov 15, 2019
  
  9b732625
- stages didier · 7a724b40
  REMY Didier authored Nov 15, 2019
  
  7a724b40
- Post internship proposal. · 172c9e1a
  POTTIER Francois authored Nov 15, 2019
  
  172c9e1a
21 Oct, 2019 1 commit
- Confirm the date of the mid-term exam. · 7d957809
  POTTIER Francois authored Oct 21, 2019
  
  7d957809
18 Oct, 2019 1 commit
- Slides. · c4f7d0ac
  POTTIER Francois authored Oct 18, 2019
  
  c4f7d0ac