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.
YOU MAY ALSO LIKE: