was by Collin Chin, Howard Wu, d0cd, ProvableHQ and 39 contributors
#23 in #leo
3KB
Linter of the Leo programming language