Skip to content

Commit

Permalink
Update CC doc page to new capture tracking syntax
Browse files Browse the repository at this point in the history 
Align with the TOPLAS paper and the implementation.
  • Loading branch information
@odersky
odersky committed Aug 11, 2023
1 parent 3c95134 commit 7b1e960
Showing 1 changed file with 78 additions and 91 deletions.
Loading

0 comments on commit 7b1e960

Please sign in to comment.