lambda calculus

2019-01-29 if-else branch without if