jaxtyping
jaxtyping copied to clipboard
patrick-kidger
feature request - benchmark using https://github.com/RightTyper/RightTyper - would be helpful @onefact !
Can you add a bit of a description explaining what you mean? It's not immediately obvious what kind of interaction you're expecting here.
Thank you @patrick-kidger ! I think we need some way to use jaxtyping not at runtime - does that make sense? That’s the need I think that righttyper addresses.