London Haskell January Meetup

10th January 2017 in London at CodeNode

This SkillsCast was filmed at London Haskell January Meetup

This is the first 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: functional programming, pure functions, total functions, types and dependent types. Getting started with Idris, your first Idris program and interactive development with types (chapters 1 to 3).

Thanks to our sponsors

London Haskell January Meetup