Closed athas closed 3 months ago
Currently iota 10i64 : [10]i64. I know that we treat sizes syntactically, but this is perhaps a bit too much.
iota 10i64 : [10]i64
Currently
iota 10i64 : [10]i64
. I know that we treat sizes syntactically, but this is perhaps a bit too much.