Skip to content

Type inference in arrays

let transposed[@I][@J] = state[J][I]

Instead of

let transposed : N * M * T
    [@I][@J] = state[J][I]
Edited by come_744
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information