/tensor-typing-exploration

Examples of code and stubs where tensor shape typing would be useful

This is a repository collecting code examples of what kinds of things an ideal tensor type checking system would allow us to do.

Content is hosted on the wiki.