Commits · master · Nicola Botta / lectures

09 Jun, 2022 1 commit
- Added L3 and L4. · f67508ab
  Nicola Botta authored Jun 09, 2022
  
  f67508ab
02 Jun, 2022 2 commits
- Initial. · 29186c84
  Nicola Botta authored Jun 02, 2022
  
  29186c84
- Added content and minimal idris instructions. · 98657160
  Nicola Botta authored Jun 02, 2022
  
  98657160
24 May, 2022 1 commit
- Initial. · c2f63635
  Nicola Botta authored May 24, 2022
  
  c2f63635
06 Apr, 2021 3 commits
- Cleanup. · bb89a297
  Nicola Botta authored Apr 06, 2021
  
  bb89a297
- Initial. · 93c61bde
  Nicola Botta authored Apr 06, 2021
  
  93c61bde
- Initial. · 1f259d57
  Nicola Botta authored Apr 06, 2021
  
  1f259d57
24 Feb, 2021 2 commits
- Changed title, fine tuned build instructions. · d0730620
  Nicola Botta authored Feb 24, 2021
  
  d0730620
- Initial. · 23c63e36
  Nuria Brede authored Feb 24, 2021
  
  23c63e36
23 Feb, 2021 8 commits
- Move pdfs to subdirectory. · 12c61617
  Nuria Brede authored Feb 23, 2021
  
  12c61617
- Add summary, type-checking instructions, references. · 8df37aa1
  Nuria Brede authored Feb 23, 2021
  
  8df37aa1
- Adapt `surprise` and `circular` examples + fix `LTE`. · 8c4456cd
  Nuria Brede authored Feb 23, 2021
  
  8c4456cd
- Minor. · 6afb9c56
  Nuria Brede authored Feb 23, 2021
  
  6afb9c56
- Minor. · b74c5a70
  Nuria Brede authored Feb 23, 2021
  
  b74c5a70
- Minor. · 1686ccb5
  Nuria Brede authored Feb 23, 2021
  
  1686ccb5
- Update README. · ab20d91a
  Nuria Brede authored Feb 23, 2021
  
  ab20d91a
- Initial. · b3e8e356
  Nuria Brede authored Feb 23, 2021
  
  b3e8e356
17 Feb, 2021 1 commit
- Initial. · 0e36f495
  Nicola Botta authored Feb 17, 2021
  
  0e36f495
16 Feb, 2021 1 commit
- Initial. · c1b45589
  Nicola Botta authored Feb 16, 2021
  
  c1b45589