diff --git a/Blind-Type-Definitions.md b/Blind-Type-Definitions.md
new file mode 100644
index 0000000..6fc8df2
--- /dev/null
+++ b/Blind-Type-Definitions.md
@@ -0,0 +1,19 @@
+# Syntax
+
+```
+type ro Basic:Int
+
+type ro BasicInit:Int 6
+
+type ro IntArrayInit:{Int 3}
+	3298 923 92
+```
+
+Blind typedefs are very simple. They are composed of the inherited type, and an optional default value.
+
+# Semantics
+"Blind" type definitions are called that because they cannot do fancy things
+like define new members on the type they inherit, but they can inherit from
+primitive types, pointers, and arrays. This can be useful for adding extra
+semantics to code, and for defining methods on things that don't need to be a
+whole object.