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: 9f558c5dd7796f822264eb41f619d8ba15efa2b3
Parent: cbc4358fe1b152aac415886933cdcdb6a8f16c4b
Author: Pablo <pablo-escobar@riseup.net>
Date: Thu, 13 Oct 2022 22:03:27 +0000

Removed the Makefile

This Makefile was more or less useless

Diffstat

1 file changed, 0 insertions, 16 deletions

Status	File Name	N° Changes	Insertions	Deletions
Deleted	Makefile	16	0	16

diff --git a/Makefile b/Makefile
@@ -1,16 +0,0 @@
-MAIN=main.tex
-
-.PHONY: all auto-compile clean
-
-# Compile the presentation
-all:
-	latexmk $(MAIN)
-
-# Compile the presentation every time a file is changes
-auto-compile:
-	find . -name '*.tex' -or -name '*.bib' | entr make || exit 0
-
-# Remove os artefatos do xetex e do aspell
-clean:
-	texclear $(MAIN)
-