Skip to content
This repository has been archived by the owner on May 11, 2023. It is now read-only.

dev: Beartype checking. #22

Open
daniel-dodd opened this issue Mar 16, 2023 · 1 comment
Open

dev: Beartype checking. #22

daniel-dodd opened this issue Mar 16, 2023 · 1 comment
Labels
bug Something isn't working enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed

Comments

@daniel-dodd
Copy link
Member

As suggested by @vdutor in #21, the integration of beartype checking would be a nice improvement to this library.
@daniel-dodd daniel-dodd added enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers bug Something isn't working labels Mar 16, 2023
@daniel-dodd
Copy link
Member Author

Preferred solution would be option two of https://github.com/google/jaxtyping/blob/main/API.md

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@daniel-dodd