Skip to content

Commit

Permalink
Fix inline code formatting in documentation (#19956)
Browse files Browse the repository at this point in the history
  • Loading branch information
nicolasstucki authored Mar 18, 2024
2 parents 1eac8fb + d4d71f5 commit 18c69f6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/_docs/reference/experimental/cc.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down

0 comments on commit 18c69f6

Please sign in to comment.