diff --git a/Types.md b/Types.md
new file mode 100644
index 0000000..7980216
--- /dev/null
+++ b/Types.md
@@ -0,0 +1 @@
+How the types/type checker work.
\ No newline at end of file