curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

Pablo 15/10/2022 12:34

Removed the pauses

Pablo 15/10/2022 12:33

Adjusted the notation of the natural decduction formulas

Pablo 13/10/2022 22:34

Changed the pauses

Pablo 13/10/2022 22:09

Added licensing information

Pablo 13/10/2022 22:09

Updated the README

Pablo 13/10/2022 22:03

Removed the Makefile

Pablo 13/10/2022 21:53

Changed the notation for propositions

Pablo 13/10/2022 20:18

Made the Lean code more idiomatic

Pablo 13/10/2022 20:06

Fixed some typos

Pablo 09/10/2022 23:45

Edited the slide pauses

Pablo 09/10/2022 23:15

Minor tweak in an example

Pablo 09/10/2022 23:14

Pablo 09/10/2022 23:08

Removed unnecessary files

Pablo 09/10/2022 23:04

Added a picture of the logo of Agda

Pablo 09/10/2022 23:04

Updated the Lean examples

Pablo 09/10/2022 23:03

Changed the monospace font

Pablo 09/10/2022 23:01

Mostly finished reworking the slides

Pablo 09/10/2022 21:05

Pablo 09/10/2022 20:58

Added changed the title of some of the slides

Pablo 09/10/2022 20:48

Removed unnecessary whitespace

Pablo 09/10/2022 20:48

Moved the slides to the main file

Pablo 09/10/2022 20:42

Simplified some slides

Pablo 09/10/2022 20:17

Added a disclaimer on natural deduction

Pablo 09/10/2022 19:26

Continued to rework the section on the Curry-Howard correspondance

Pablo 09/10/2022 19:25

Removed an unnecessary file

Pablo 09/10/2022 01:51

Changed the Minted style

Pablo 09/10/2022 01:35

Removed section headers

Pablo 09/10/2022 01:34

Started to rework the section on proposition as types

Pablo 09/10/2022 01:33

Minor change in some examples

Pablo 09/10/2022 01:32

Changed the preamble of the document

Pablo 09/10/2022 01:31

Pablo 18/09/2022 19:48

Reformulada a explicação da correnpondência de Curry-Howard

Pablo 25/12/2021 12:15

Adicionada a flag \hidepause em main.tex para ignorar as pausas nos slides

Pablo 25/12/2021 11:41

Compressed the picture of the calculator

Pablo 25/12/2021 11:40

Removed the PDF output from the repo

Pablo 10/09/2021 22:05

Updated an example

Pablo 10/09/2021 22:05

Removed some imports from the main file

Pablo 10/09/2021 22:02

Added the PDF files in the images directory to the .gitignore

Pablo 09/08/2021 21:41

Updated the .gitignore

Pablo 09/08/2021 21:40

Implemented some suggestions from Thaago

Pablo 09/08/2021 21:39

Pablo 08/08/2021 20:01

Added the GeoGebra file used to produce the ODE example to the repo

Pablo 06/08/2021 22:38