[<<][rtl][>>][..]
Fri May 10 12:58:25 EDT 2019

Make arrays total

Make the programming model such that the arrays are total functions,
e.g. just using wraparound, but create some kind of type-level
tracking to remove bounds mapping when it is not necessary.



[Reply][About]
[<<][rtl][>>][..]