Closed Beliavsky closed 2 years ago
Empty array constructor such as ints=[integer ::] suggested by @urbanjost
Tweeted here
Empty array constructor such as ints=[integer ::] suggested by @urbanjost