This is the sixth in 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 11: Streams and processes and working with infinite data. Generating and processing streams of data. Distinguishing terminating and productive total functions. Defining total interactive processes using infinite streams.