Skip to content

Commit

Permalink
Update CC doc page to new capture tracking syntax (#18387)
Browse files Browse the repository at this point in the history 
Align with the TOPLAS paper and the implementation.
  • Loading branch information
@odersky
odersky authored Aug 15, 2023
2 parents 67e6dba + f95b82c commit ca6a80e
Showing 1 changed file with 79 additions and 92 deletions.
Loading

0 comments on commit ca6a80e

Please sign in to comment.