Meet, discuss and talk about Haskell/FP

Thoughtworks kindly agreed to host tomorrows meetup. So let's all gather at Thoughtworks.

Divyanshu agreed to talk about "Coq - Introduction", he will also be talking about dependent types.

Yogesh would like to talk about functors.

We should also discuss modality going forward. I would request for volunteers to help us organise similar or bigger events in future with more participation.