A brief presentation on Denotational Design, based on Conal Elliott's work - View it on GitHub