Lecture 5: Encoding if-then-else and Recursion

In this lecture, we study if-then-else, recursion and Y combinator.