summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-04-12 19:49:03 +0200
committerNadrieril2019-04-12 19:49:03 +0200
commit3cd881387d1e356db574448a9006596038877b5c (patch)
tree18674c714aed79fb77b5f294a9a69a0869cfaac0
parent0dcc59bc2f0dcc810ccc7057cf9161f48b1d1fe0 (diff)
docs: mark blocks that do not contain Rust code as text
Diffstat (limited to '')
-rw-r--r--dhall_core/src/core.rs2
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)])
/// ```
///