Lambdulus: teaching lambda calculus practically. - Jan Sliacky; Petr Maj (SPLASH-E, 2019)