diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | preplogic-notes.pdf | bin | 0 -> 339620 bytes |
2 files changed, 0 insertions, 1 deletions
| @@ -1,5 +1,4 @@ | |||
| 1 | exercises-luca | 1 | exercises-luca |
| 2 | notes.txt | 2 | notes.txt |
| 3 | notes-schlenker.pdf | ||
| 4 | solutions | 3 | solutions |
| 5 | preplogic-solutions.pdf | 4 | preplogic-solutions.pdf |
diff --git a/preplogic-notes.pdf b/preplogic-notes.pdf new file mode 100644 index 0000000..fffee96 --- /dev/null +++ b/preplogic-notes.pdf | |||
| Binary files differ | |||