From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 27 Jul 2026 17:17:56 -0400 Subject: bottom up redesign --- docs/type_system/unique.md | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 docs/type_system/unique.md (limited to 'docs/type_system/unique.md') diff --git a/docs/type_system/unique.md b/docs/type_system/unique.md deleted file mode 100644 index 30d0812..0000000 --- a/docs/type_system/unique.md +++ /dev/null @@ -1,21 +0,0 @@ -# Unique - ---- - -A type based on a complete template or an alias that is not interchangeable with what it is based on - -## \`unique - -# Example - -```text -Inches `unique U64 - -Centimeters `unique U64 - -i : Inches $ 1 - -c : Centimeters $ 1 - -i = c // Type Error -``` -- cgit v1.2.3