diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall_core/src/core.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 2eb8980..1de363c 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -726,7 +726,7 @@ pub fn shift<S, A>( /// removes the variable from the environment by shifting the indices /// of other variables appropriately. /// -/// ``` +/// ```text /// subst_shift(x, v, e) = ↑(-1, x, e[x := ↑(1, x, v)]) /// ``` /// |