From 5da2a33380ada46e4a765b4c5f85298a578a15fa Mon Sep 17 00:00:00 2001
From: aaron <aaronweiss@roblox.com>
Date: Mon, 28 Oct 2024 14:47:17 -0700
Subject: [PATCH] Fix grammar slightly

Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
---
 docs/negation-types.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/negation-types.md b/docs/negation-types.md
index bc0eecf..9a6dd59 100644
--- a/docs/negation-types.md
+++ b/docs/negation-types.md
@@ -20,7 +20,7 @@ We propose to allow users to write such a type. Formally:
 
 ```ebnf
 ty ::= `~` ty
-     | name [`<` [ty] {`,` ty} `>`]
+     | name [`<` [ty {`,` ty}] `>`]
      | ty {`|` ty}
      | ty {`&` ty}
      | `(` ty `)`