Self modifying code, lambda calculus - Re: ENIAC programming