a potted history of indexed datatypes

• Next: witness types
• Prev: once upon a time in Belfast...
• index of these slides
• Conor's home page