Conversation

My talk about Quantifiers in Programming (with lots of juicy, practical #Scala code) is now online! (+ Big thanks to

for having me, producing all these vids, and just hosting a great conf!)

Quote Tweet

[Video] David Barri - Quantifiers in Programming - Compose Melbourne 2018 youtu.be/9RvWDDZK3D8 #composeconf #compose2016

Me and my coworkers at

really enjoyed that talk! 😍

Thank you so much for letting me know that! I'm very happy to hear it ☺️

Replying to

and

We do logic programming and dependently typed stuff, so it's a topic close to our hearts! 🥰