Skip to content

Add a type checker #114

Closed
#152
Closed
Add a type checker#114
#152

Description

@hugovk
hugovk
opened on Apr 10, 2024

Might also be worth adding a type checker, which could have caught #107.

Originally posted by @JelleZijlstra in #109 (comment)

Activity

  1. ambv
    closed this as completedin #152on Jul 31, 2024
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

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions