From 9ed99e0de4903dd35994083b1c193542a85535eb Mon Sep 17 00:00:00 2001
From: Alexander Nutz <alexander.nutz@vxcc.dev>
Date: Fri, 12 Sep 2025 10:41:20 +0200
Subject: [PATCH] v0.0.6: allow infinite, but not infinite sized types

---
 spec.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/spec.md b/spec.md
index 4eb8f9d..4ff2293 100644
--- a/spec.md
+++ b/spec.md
@@ -199,4 +199,19 @@ type List[t] = &a ('End | 'Cons {head:t, tail:a})
 # example 2:
 # a List[List[t]] is just:
 &b ('End | 'Cons {head: &a ('End | 'Cons {head:t, tail:a}), tail: b})
+```
+
+Infinitely sized types are not allowed:
+```
+&a {x:Num, y:a}
+```
+
+However, infinite types without size *are* allowed:
+```
+&a {x:a}
+```
+
+This is *not* allowed:
+```
+&a a
 ```
\ No newline at end of file