From 1790c4a2647678e33ce347cd4ea94a9053295c6b Mon Sep 17 00:00:00 2001
From: Sasha Koshka <sashakoshka@noreply.tebibyte.media>
Date: Tue, 30 Aug 2022 05:52:55 +0000
Subject: [PATCH] Update 'Blind Type Definitions'

---
 Blind-Type-Definitions.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 Blind-Type-Definitions.md

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.