LambdaLab: an interactive λ-calculus reducer for learning. - Daniel Sainati; Adrian Sampson (SPLASH-E, 2018)