From 568dba6f0ba851b83d860309ab09212d2059182b Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Thu, 23 Dec 2021 19:01:39 +0100 Subject: [PATCH] CanShift Dim --- src/Quox/Syntax/Dim.idr | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Quox/Syntax/Dim.idr b/src/Quox/Syntax/Dim.idr index f05f64e..6dd0e90 100644 --- a/src/Quox/Syntax/Dim.idr +++ b/src/Quox/Syntax/Dim.idr @@ -61,6 +61,11 @@ prettyDSubst th = export FromVar Dim where fromVar = B +export +CanShift Dim where + K e // _ = K e + B i // by = B (i // by) + export CanSubst Dim Dim where K e // _ = K e