diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf
new file mode 100644
index 00000000..4760b46f
Binary files /dev/null and b/docs/Semantics.pdf differ