From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Mon, 27 Jul 2026 17:17:56 -0400
Subject: bottom up redesign

---
 docs/type_system/empty.md | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 docs/type_system/empty.md

(limited to 'docs/type_system/empty.md')

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)
-```
-- 
cgit v1.2.3