280 attendees at #haskellx

Simon explaining how Facebook uses Haskell with hot-reloading to deploy 100 times a day #haskellx

Oh @kosmikus was right, just SPJ talk was worth coming to #HaskellX :)

Excited to be back at the #haskellX in London!

Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou

This is one of the most cursed slides I've seen all day 😂 #HaskellX

Oh yes. 😎 #haskellx

The café next to #haskellX gets it!

Finally proper records to come to #haskell (I can't think this proposal won't be accepted in one form or another) #haskellX

Facundo Domínguez is explaining how inline embeddings of foreign code drastically simplify foreign language interoperability in Haskell (here for Java, but we have covered many other languages) #HaskellX

I saw that the Haskell pyramid diagram was being used at #HaskellX and on reflection of 2 months worth looking at Haskell roles I ended up remaking the diagram a little. 100% there are available #Haskell roles and hopefully it's growing 😍

Great turnout at #haskellX 2019

Salted liquorice courtesy of ⁦@jusrin00⁩! #winning #haskellx

LOL ur monads aren’t general enough dude. #HaskellX

PhilipWadler: "Agda is what #haskell wants to be when it grows up" opening #haskellX day2

Excited to be on my way to London for the #HaskellX 2018 😃

Looking forward to @InputOutputHK 's Head of Engineering Duncan Coutts' presentation on building #Cardano with Haskell at #HaskellX 😃

You don't have to understand all the fancy type theory to be productive with Haskell @sassela #haskellx

We presented the core ideas of GRIN at #haskellx 2018. slides: https://t.co/LfBG41DEbG video: https://t.co/SpsWNKA1T7 summary: