Skip to content

rephrase algorithm lint rules in terms of parsed lines#498

Merged
bakkot merged 8 commits intomainfrom smarter-algorithm-lintNov 27, 2022

Commits

Commits on Nov 23, 2022