curry-howard

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

Commit
44578ec4d86f72e55db810332a6f1382412d4f80
Parent
e7007e250e990bfd81563dbae22db94ae7e5b9e2
Author
Pablo <pablo-escobar@riseup.net>
Date

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

Diffstat

1 file changed, 0 insertions, 0 deletions

Status File Name N° Changes Insertions Deletions
Added examples/ode.ggb 0 0 0 
diff --git a/examples/ode.ggb b/examples/ode.ggb
Binary files differ.