rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

fix tiny bug in dimeq

Browse source
This commit is contained in:
rhiannon morris 2023-02-14 21:28:50 +01:00
parent 802dfae493
commit 4b7379f094
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/Quox/Syntax/DimEq.idr
View file

@ -70,7 +70,7 @@ infixl 5 :<?
export %inline export %inline
(:<?) : DimEq d -> Maybe (Dim d) -> DimEq (S d) (:<?) : DimEq d -> Maybe (Dim d) -> DimEq (S d)
ZeroIsOne :<? d = ZeroIsOne ZeroIsOne :<? d = ZeroIsOne
C eqs :<? d = C $ eqs :< d C eqs :<? d = C $ eqs :< map (get eqs) d
private %inline private %inline