Lambada Calculus ICFP Contest 2017 Repository - View it on GitHub