Skip to content

Ship stubs #46

Closed
Closed
Ship stubs#46
Milestone
Alpha

Description

@erikrose
erikrose
opened on Feb 19, 2026

See #43 (comment) for discussion.

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

Activity

  1. erikrose
    added this to the Alpha milestone on Feb 20, 2026
  2. erikrose
    added a commit that references this issue on Mar 31, 2026

    Check in `stubs` folder. Closes #46.

    b5266ec
  3. erikrose
    closed this as completedin 4cfa94fon Apr 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions