Intro to Functional Programming ∘ UQ Computing Society, Brisbane, Australia ∘ 2016-10-20