Interesting approach to pass an array as parameter without decaying to a pointer in C++. And the function also gets to know the size of it at compile time.
It's interesting how Jai is probably the only language I don't think about when I'm programming in it. It is truly a language that doesn't exist because it simply doesn't stay on your way.