Today was the seventh theory lunch and the last one before christmas. So far it has been a lot of fun.
“If monads are about syntax then algebras are about semantics” – that’s the message, in this post I will attempt to illustrate it via a simple example. Continue reading
Theory Lunch 