O(1) Labs interview question

Implementation of a simple lambda calculus and its interpreter