From c04c2e677c39fa1a8829fab31632a73aa7020d4c Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 17 Apr 2023 21:43:53 +0200
Subject: [PATCH] print quantity before names in main

---
 exe/Main.idr | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/exe/Main.idr b/exe/Main.idr
index 51e7562..4a1ba98 100644
--- a/exe/Main.idr
+++ b/exe/Main.idr
@@ -26,7 +26,9 @@ main = do
       | Left err => die $ prettyError True True err
     for_ res $ \(name, def) => do
       putDoc $ map termHL $ nest 2 $
-        sep [hsep [hl Free $ pretty0 True name, colonD],
+        sep [hsep [hcat [pretty0 True def.qty.fst, dotD,
+                         hl Free (pretty0 True name)],
+                   colonD],
              prettyTerm True [<] [<] def.type]
 
 -----------------------------------