Add IsList Array instance for OverloadedLists
Sorry if it exists somewhere and I missed...
So that one can create arrays using finite lists:
Array Int awith
Array (Int, Int) awith ((0,0), (n-1,m-1))` bounds (but only if lists are the same size)
- etc. although 1-2 dimensional arrays are probably most common.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information