From 1ccb3c92a4c074a12550c584d3651ace2d7c0131 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 17 Jun 2026 14:24:51 -0400 Subject: qualifiers as % --- docs/type_system/empty.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/type_system/empty.md') diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md index 08b0977..7997901 100644 --- a/docs/type_system/empty.md +++ b/docs/type_system/empty.md @@ -5,7 +5,7 @@ Container type can be null ```text -`empty +%empty ``` ## Use with `Option` Union @@ -17,7 +17,7 @@ make_array : ([yes] `nome } ) -v : make_array(...) // `empty Array[I64] $ .none OR `empty Array[I64] $ (.some : (1; 2; 3)) +v : make_array(...) // %empty Array[I64] $ .none OR %empty Array[I64] $ (.some : (1; 2; 3)) # v { .some {[x] `log x } // Array[I64] $ (1; 2; 3) .none { ... } -- cgit v1.2.3