update indentation
Y combinator
SICP -- simulation of digital circuit
implement curry and lazy evaluation using scheme macro