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

bump again

Browse source
This commit is contained in:
rhiannon morris 2023-07-13 21:28:39 +02:00
parent fa09aaf228
commit 612fb33663
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -133,7 +133,7 @@ cmpShape : Subst env from1 to -> Subst env from2 to ->
cmpShape (Shift by) (Shift bz) = cmpLen by bz
cmpShape (Shift _) (_ ::: _) = Left LT
cmpShape (_ ::: _) (Shift _) = Left GT
cmpShape (_ ::: th) (_ ::: ph) = cong S <$> cmpShape th ph
cmpShape (_ ::: th) (_ ::: ph) = map (\x => cong S x) $ cmpShape th ph
public export

2
pack.toml
View file

@ -1,4 +1,4 @@
collection = "nightly-230622"
collection = "nightly-230711"
[custom.all.tap]
type = "git"