Keynote and practice files for the Y-Not Talk (deriving the y-combinator from first principles) - View it on GitHub