Skip to content

Ship stubs #46

@erikrose

Description

@erikrose

See #43 (comment) for discussion.

Basically, provide stubs to customers so they can run typecheckers and perhaps even simple tests on the host.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions