From d4d71f5a09bd31f2eb41d7364df276a095cd3b91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kristof=20L=C3=BCnenschlo=C3=9F?= Date: Fri, 15 Mar 2024 22:23:16 +0100 Subject: [PATCH] Fix inline code formatting in documentation --- docs/_docs/reference/experimental/cc.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_docs/reference/experimental/cc.md b/docs/_docs/reference/experimental/cc.md index 5bdf91f628ec..fedc8fe66b65 100644 --- a/docs/_docs/reference/experimental/cc.md +++ b/docs/_docs/reference/experimental/cc.md @@ -138,7 +138,7 @@ This type is a shorthand for `(A -> B)^{c, d}`, i.e. the function type `A -> B` The impure function type `A => B` is treated as an alias for `A ->{cap} B`. That is, impure functions are functions that can capture anything. A capture annotation `^` binds more strongly than a function arrow. So -`A -> B^{c}` is read as `A` -> (B^{c})`. +`A -> B^{c}` is read as `A -> (B^{c})`. Analogous conventions apply to context function types. `A ?=> B` is an impure context function, with `A ?-> B` as its pure complement.