Skip to content

Commit d4d71f5

Browse files
authored
Fix inline code formatting in documentation
1 parent 1eac8fb commit d4d71f5

File tree

1 file changed

+1
-1
lines changed
  • docs/_docs/reference/experimental

1 file changed

+1
-1
lines changed

docs/_docs/reference/experimental/cc.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -138,7 +138,7 @@ This type is a shorthand for `(A -> B)^{c, d}`, i.e. the function type `A -> B`
138138
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.
139139

140140
A capture annotation `^` binds more strongly than a function arrow. So
141-
`A -> B^{c}` is read as `A` -> (B^{c})`.
141+
`A -> B^{c}` is read as `A -> (B^{c})`.
142142

143143
Analogous conventions apply to context function types. `A ?=> B` is an impure context function, with `A ?-> B` as its pure complement.
144144

0 commit comments

Comments
 (0)