Update details:
Category Change: "Linters and Style Checkers" -> "Typecheckers"
Additional context:
The beartype project is currently listed under "Linters and Style Checkers"; but it's clearly a (static/runtime hybrid) "Typechecker" (in fact, arguably the only correct typechecker for that, which is more ironic).
Update details:
Category Change: "Linters and Style Checkers" -> "Typecheckers"
Additional context:
The beartype project is currently listed under "Linters and Style Checkers"; but it's clearly a (static/runtime hybrid) "Typechecker" (in fact, arguably the only correct typechecker for that, which is more ironic).