Skip to content

Commit

Permalink
chore: fix variable names in List lemmas (#6953)
Browse files Browse the repository at this point in the history 
This PR starts on the process of cleaning up variable names across
List/Array/Vector. For now, we just rename "numerical index" variables
in one file. This is driven by a custom linter.
  • Loading branch information
@kim-em
kim-em authored Feb 5, 2025
1 parent 0ed493e commit 53ed233
Show file tree
Hide file tree
Showing 6 changed files with 241 additions and 119 deletions.
Loading

0 comments on commit 53ed233

Please sign in to comment.