8.8 List type

2010-04-19

The List type is a simple abstract notion of a list. Used to explain certain aspects of the language. It's just an ordered list, nothing fancy, no special operators or algorithms. They may have any length.