From ab63edf572b6669296fe36b8fd637dffe64aaccb Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 26 Feb 2023 11:21:47 +0100
Subject: [PATCH] print bound vars as e.g. x#1 instead of x:1

---
 lib/Quox/Syntax/Var.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Quox/Syntax/Var.idr b/lib/Quox/Syntax/Var.idr
index 3a589e2..2813cdc 100644
--- a/lib/Quox/Syntax/Var.idr
+++ b/lib/Quox/Syntax/Var.idr
@@ -45,7 +45,7 @@ parameters {auto _ : Pretty.HasEnv m}
   private
   prettyIndex : Nat -> m (Doc a)
   prettyIndex i =
-    ifUnicode (pretty $ pack $ map sup $ unpack $ show i) (":" <+> pretty i)
+    ifUnicode (pretty $ pack $ map sup $ unpack $ show i) ("#" <+> pretty i)
    where
     sup : Char -> Char
     sup c = case c of