Introduction to equational reasoning

We'll have a brief introduction to equational reasoning. There will be no monads in the talk :-), so if you are comfortable with Haskell syntax and the usual suspects (map, filter and such), you're good to go!

The language will be English, Spanish or Catalan, according to the audience's preferences.

We will also give away a free ticket for Haskell eXchange 2019 (https://skillsmatter.com/conferences/11741-haskell-exchange-2019).

Update: Location will be itnig's event venue in Pujades 100. I'm told the access is through Syra Coffee's door.