bottom up redesign

1 files changed, 0 insertions, 27 deletions

diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
deleted file mode 100644
index 9466493..0000000
--- a/docs/type_system/empty.md
+++ /dev/null
@@ -1,27 +0,0 @@
-# Empty
-
----
-
-Container type can be null
-
-```text
-%empty
-```
-
-## Use with `Result` Union
-
-```text
-make_array : ([Bool.yes]
-    ? yes {
-        `value Array $ (1; 2; 3)
-        `null
-    }
-)
-v : make_array(...) // %empty Array[I64] $ .null OR %empty Array[I64] $ (.value : (1; 2; 3))
-# v {
-    .value {[x] `log x } // Array[I64] $ (1; 2; 3)
-    .null { ... }
-}
-// same as above
-? v {[x] `log x } // Array[I64] $ (1; 2; 3)
-```