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

Oh yes. 😎 #haskellx

The café next to #haskellX gets it!

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

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

Salted liquorice courtesy of ⁦@jusrin00⁩! #winning #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 😍

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

Great turnout at #haskellX 2019

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

I love charts like this; an excerpt from Build Systems a'la Carte at #haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk @andreymokhov! https://t.co/APDGmYYNhd

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

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

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