Commits · main · Davide Peressoni / Agda examples

Apr 12, 2023
- video link · 86cbfdf8
  Davide Peressoni authored Apr 12, 2023
  
  86cbfdf8
Apr 01, 2023
- Small edits on transcript · 13e02961
  Davide Peressoni authored Apr 01, 2023
  
  13e02961
- Original transcript · eedd3a6e
  Davide Peressoni authored Apr 01, 2023
  
  eedd3a6e
Mar 28, 2023
- better emacs config · 763a36ad
  Davide Peressoni authored Mar 28, 2023
  
  763a36ad
Sep 01, 2022
- fix language syntax · 866e6211
  Davide Peressoni authored Sep 01, 2022
  
  866e6211
- detect agda · ef0f96d1
  Davide Peressoni authored Sep 01, 2022
  
  ef0f96d1
- Small fixes · f38d6f1a
  Davide Peressoni authored Sep 01, 2022
  
  f38d6f1a
- Lists · 4008bc8c
  Davide Peressoni authored Sep 01, 2022
  
  4008bc8c
- Natural numbers · 409cceae
  Davide Peressoni authored Sep 01, 2022
  
  409cceae
- Motivations · 842f789f
  Davide Peressoni authored Sep 01, 2022
  
  842f789f
Aug 31, 2022
- Propositional logic · a0a1f43f
  Davide Peressoni authored Aug 31, 2022
  
  a0a1f43f
- Syllogisms · ede4dfa3
  Davide Peressoni authored Aug 31, 2022
  
  ede4dfa3
Aug 30, 2022
- Better summary · c9e43e6c
  Davide Peressoni authored Aug 30, 2022
  
  c9e43e6c
- Using mdbook · 3367e869
  Davide Peressoni authored Aug 30, 2022
  
  3367e869
Aug 29, 2022
- init · 75d3111e
  Davide Peressoni authored Aug 29, 2022
  
  75d3111e