Compile-time shape checking and inference in Kotlin for tensor code - View it on GitHub