From 4b7379f09458d0aec058194cb0a661787a89e20e Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Tue, 14 Feb 2023 21:28:50 +0100
Subject: [PATCH] fix tiny bug in dimeq

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

diff --git a/lib/Quox/Syntax/DimEq.idr b/lib/Quox/Syntax/DimEq.idr
index c59f76f..6d9e444 100644
--- a/lib/Quox/Syntax/DimEq.idr
+++ b/lib/Quox/Syntax/DimEq.idr
@@ -70,7 +70,7 @@ infixl 5 :<?
 export %inline
 (:<?) : DimEq d -> Maybe (Dim d) -> DimEq (S d)
 ZeroIsOne :<? d = ZeroIsOne
-C eqs     :<? d = C $ eqs :< d
+C eqs     :<? d = C $ eqs :< map (get eqs) d
 
 
 private %inline