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

CanShift Dim

Browse source
This commit is contained in:
rhiannon morris 2021-12-23 19:01:39 +01:00
parent a11e4d5ef1
commit 568dba6f0b
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Quox/Syntax/Dim.idr
View file

@ -61,6 +61,11 @@ prettyDSubst th =
export FromVar Dim where fromVar = B export FromVar Dim where fromVar = B
export
CanShift Dim where
K e // _ = K e
B i // by = B (i // by)
export export
CanSubst Dim Dim where CanSubst Dim Dim where
K e // _ = K e K e // _ = K e