diff --git a/docs/Introduction to type and resource safety.pdf b/docs/Introduction to type and resource safety.pdf
new file mode 100644
index 0000000..8649706
Binary files /dev/null and b/docs/Introduction to type and resource safety.pdf differ