Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/html/

Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/html/Sylvester.Tensors.ipynb https://notebooks.azure.com/allisterb/projects/sylvester/htm...