From 7a83cc1272dff2fa11edb27489d5db7934e48e31 Mon Sep 17 00:00:00 2001
From: Alexander Nutz <alexander.nutz@vxcc.dev>
Date: Fri, 12 Sep 2025 10:42:06 +0200
Subject: [PATCH] remove `End` type

---
 spec.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/spec.md b/spec.md
index 4ff2293..2f8a7ff 100644
--- a/spec.md
+++ b/spec.md
@@ -10,7 +10,6 @@ Most important ones:
 - `List[T]`: (linked-) list of `T`
 - `Char`: unicode codepoint
 - `Unit`: nothing
-- `End`: unreachable
 - `Cell[T]`: mutable cell of `T`
 
 Advanced (uncommon) types: