curry-howard

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

git clone: git://git.pablopie.xyz/curry-howard
Log
Files
Refs
README
LICENSE

Commit: a22455165c62b855fb032a701989bf1f68cc7013
Parent: d315704b2ab970569c48bd7e1dd63a02b4879bba
Author: Pablo <pablo-escobar@riseup.net>
Date: Thu, 13 Oct 2022 22:09:42 +0000

Added licensing information

Diffstat

1 file changed, 1 insertion, 0 deletions

Status	File Name	N° Changes	Insertions	Deletions
Added	LICENSE	1	1	0

diff --git a/LICENSE b/LICENSE
@@ -0,0 +1 @@
+This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA