Ik3sxxnok8f3fesrltqr
Meet up

London Haskell January Meetup

Tuesday, 10th January at CodeNode, London

This meetup was organised by London Haskell in January 2017

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

Attending Members

Overview

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

Who's coming?

Attending Members