Skip to content

Update project: beartype #237

@JWCS

Description

@JWCS

Update details:

  • Project Name: beartype

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).

Metadata

Metadata

Assignees

No one assigned

    Labels

    update-projectUpdate a project on the best-of list

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions