d0cd
d0cd
## 🚀 Feature Array indexing is restricted to constant u32s. However given that arrays are fixed in size, it would be straightforward to implement array indexing by generating a sufficiently...
## 🚀 Feature Leo does not allow users to re-assign array elements. This could be achieved by destructuring the array and tracking reads and writes statically. This is doable because...
