From 6c8ebfb8044783f962c625bd99b2df11dd351553 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 5 Nov 2023 15:41:21 +0100
Subject: [PATCH] fix some comments

---
 lib/Quox/Parser/Lexer.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/Quox/Parser/Lexer.idr b/lib/Quox/Parser/Lexer.idr
index 1e50c8c..dad087f 100644
--- a/lib/Quox/Parser/Lexer.idr
+++ b/lib/Quox/Parser/Lexer.idr
@@ -163,7 +163,7 @@ private %inline
 supToNat : String -> Nat
 supToNat = cast . pack . map fromSup . unpack
 
--- ★0, Type0. base ★/Type is a Reserved
+-- ★0, Type0. base ★/Type is a Reserved and ★¹/Type¹ are sequences of two tokens
 private
 universe : Tokenizer ExtToken
 universe = universeWith "★" <|> universeWith "Type" where
@@ -312,7 +312,7 @@ tokens = choice $
   map skip [pred isWhitespace,
             lineComment (exact "--" <+> reject symCont),
             blockComment (exact "{-") (exact "-}")] <+>
-  [universe] <+>  -- ★ᵢ takes precedence over bare ★
+  [universe] <+>  -- Type<i> takes precedence over bare Type
   map resTokenizer reserved <+>
   [sup, nat, string, tag, name]