repository of links to modern developments in lambda calculus