tf-dotty is an experimental Dotty library that adds type safety to TensorFlow code by statically checking tensor types and shape.
To use tf-dotty, read the Getting Started documentation.
To develop on and contribute to tf-dotty, read the Contributing documentation