Closed aleclarson closed 6 years ago
It's just linked lists vs fixed length arrays. They have entirely different performance characteristics. The syntax is stolen from F#
Please expand on them more in the readme when you feel like it. For example, push/pop the array and access its length.
I have several more documents that I've been working on including a stdlib which would also expand upon the Array and List interfaces.
Can you specify the main differences (in ghost) between arrays and lists?