This is a pretty standard implementation of the basic components of function programming church_nums.clj: Natural Numbers using Church's encoding list-comprehension.clj: Basic list comprehension functions