Skip to content

Commit

Permalink
Fix inline code formatting in documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
kluen authored Mar 15, 2024
1 parent 1eac8fb commit d4d71f5
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 d4d71f5

Please sign in to comment.