This is the fifth of a series of hands on Idris meetings working through Edwin Brady's forthcoming book "Type-Driven Development with Idris".
The aim is to get everybody coding so please bring a laptop. There will be a short talk to introduce the material and then we will work through as many exercises as we have time for.
This session covers chapter 10: Views and extending Pattern Matching. Defining views, which describe alternative forms of pattern matching. Introducing the with construct for working with views. Describing efficient traversals of data structures. Hiding the representation of data behind view.