From 7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 9 Sep 2021 09:11:16 +0200 Subject: Added notes by Jean-Marc Schlenker --- .gitignore | 1 - preplogic-notes.pdf | Bin 0 -> 339620 bytes 2 files changed, 1 deletion(-) create mode 100644 preplogic-notes.pdf diff --git a/.gitignore b/.gitignore index 9156717..7b6ff12 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,4 @@ exercises-luca notes.txt -notes-schlenker.pdf solutions preplogic-solutions.pdf diff --git a/preplogic-notes.pdf b/preplogic-notes.pdf new file mode 100644 index 0000000..fffee96 Binary files /dev/null and b/preplogic-notes.pdf differ -- cgit v1.3