An implementation of basic program logic using only one-line curried lambda functions in Python. Functionality implemented includes the y-combinator, functional booleans, functional pairs and lists, and addition, subtraction, and multiplication on Church numerals.