diff --git a/slides/safe-types-untyped-contexts.pdf b/slides/safe-types-untyped-contexts.pdf deleted file mode 100644 index 1b45d333e8ef85754074c6394fedb96c0e1e2c54..0000000000000000000000000000000000000000 Binary files a/slides/safe-types-untyped-contexts.pdf and /dev/null differ