search

beartype / numerary

A pure-Python codified rant aspiring to a world where numbers and types can work together.
https://posita.github.io/numerary/latest/
Other
39 stars 1 forks source link

Broken docs #21

Open patrick-kidger opened 2 months ago

patrick-kidger commented 2 months ago

Hello! Just a heads-up that your doc link seems to be broken.

(CC @lockwo from https://github.com/patrick-kidger/jaxtyping/issues/245)

posita commented 2 months ago

Ah! That's probably because the project has been moved to https://beartype.github.io/numerary/0.4/whytho/. Do you have a source for the reference (meaning what content links to https://posita.github.io/numerary/0.4/whytho/)?

patrick-kidger commented 2 months ago

Haha - the description of this repo!